Polyspace (original) (raw)
Polyspace is a static code analysis tool for large-scale analysis by abstract interpretation to detect, or prove the absence of, certain run-time errors in source code for the C, C++, and Ada programming languages. The tool also checks source code for adherence to appropriate code standards.
| Property | Value |
|---|---|
| dbo:abstract | Polyspace is a static code analysis tool for large-scale analysis by abstract interpretation to detect, or prove the absence of, certain run-time errors in source code for the C, C++, and Ada programming languages. The tool also checks source code for adherence to appropriate code standards. (en) PolySpace est un logiciel d'analyse statique de programmes permettant de trouver des bugs dans des logiciels sans devoir les exécuter. Il est capable d'analyser des programmes écrits en C, C++ et Ada par interprétation abstraite. Ce logiciel est utilisé dans les secteurs de l'automobile, de l'aéronautique, de l'énergie et de la défense. PolySpace Technologies est le nom de l'entreprise française créée en 1999 pour développer ce logiciel et rachetée en 2007 par The MathWorks. Elle est issue de l'INRIA Grenoble et de son incubateur, à la suite de travaux de recherche menés dans cet organisme de recherche public. (fr) Polyspaceは、静的コード解析ツール。C言語、C++、Adaのソースコードに実行時エラーが存在しないことを検出または証明するための抽象解釈による大規模分析ができる。このツールはソースコードが適切なコード標準に準拠しているかどうかもチェックできる。 (ja) Polyspace是靜態程序分析的工具，利用抽象释义的方式進行大規模的分析，可以偵測C語言、C++或是Ada程式的原始碼中，是否有特定類型的，或是證明沒有這類的錯誤。此工具也可以檢查原始碼是否符合特定的代碼標準（如MISRA C/C++, SEI CERT C++, JSF AV C++, AUTOSAR C++）。 (zh) |
| dbo:developer | dbr:MathWorks |
| dbo:genre | dbr:Static_code_analysis |
| dbo:latestReleaseDate | 2021-03-10 (xsd:date) |
| dbo:latestReleaseVersion | R2021a |
| dbo:license | dbr:Proprietary_software |
| dbo:wikiPageID | 28834767 (xsd:integer) |
| dbo:wikiPageLength | 5558 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1064287776 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:MISRA_C dbr:Proprietary_software dbc:Static_program_analysis_tools dbr:Cross-platform dbr:MathWorks dbr:Arithmetic_overflow dbr:C++ dbr:C_(programming_language) dbr:Ada_(programming_language) dbr:Formal_methods dbc:Software_testing_tools dbr:Abstract_interpretation dbc:Abstract_interpretation dbr:Division_by_zero dbr:Static_code_analysis dbr:List_of_tools_for_static_code_analysis dbr:Buffer_overrun |
| dbp:developer | dbr:MathWorks |
| dbp:genre | dbr:Static_code_analysis |
| dbp:latestReleaseDate | 2021-03-10 (xsd:date) |
| dbp:latestReleaseVersion | R2021a (en) |
| dbp:license | dbr:Proprietary_software |
| dbp:name | Polyspace (en) |
| dbp:operatingSystem | dbr:Cross-platform |
| dbp:wikiPageUsesTemplate | dbt:For dbt:Infobox_software dbt:Official_website dbt:Reflist dbt:Short_description dbt:Start_date_and_age |
| dct:subject | dbc:Static_program_analysis_tools dbc:Software_testing_tools dbc:Abstract_interpretation |
| rdf:type | owl:Thing dbo:Software schema:CreativeWork dbo:Work wikidata:Q386724 wikidata:Q7397 yago:Ability105616246 yago:Abstraction100002137 yago:Code106355894 yago:CodingSystem106353757 yago:Cognition100023271 yago:Communication100033020 yago:Know-how105616786 yago:Method105660268 yago:PsychologicalFeature100023100 yago:Writing106359877 yago:WrittenCommunication106349220 yago:Software106566077 yago:WikicatFormalMethods |
| rdfs:comment | Polyspace is a static code analysis tool for large-scale analysis by abstract interpretation to detect, or prove the absence of, certain run-time errors in source code for the C, C++, and Ada programming languages. The tool also checks source code for adherence to appropriate code standards. (en) Polyspaceは、静的コード解析ツール。C言語、C++、Adaのソースコードに実行時エラーが存在しないことを検出または証明するための抽象解釈による大規模分析ができる。このツールはソースコードが適切なコード標準に準拠しているかどうかもチェックできる。 (ja) Polyspace是靜態程序分析的工具，利用抽象释义的方式進行大規模的分析，可以偵測C語言、C++或是Ada程式的原始碼中，是否有特定類型的，或是證明沒有這類的錯誤。此工具也可以檢查原始碼是否符合特定的代碼標準（如MISRA C/C++, SEI CERT C++, JSF AV C++, AUTOSAR C++）。 (zh) PolySpace est un logiciel d'analyse statique de programmes permettant de trouver des bugs dans des logiciels sans devoir les exécuter. Il est capable d'analyser des programmes écrits en C, C++ et Ada par interprétation abstraite. Ce logiciel est utilisé dans les secteurs de l'automobile, de l'aéronautique, de l'énergie et de la défense. (fr) |
| rdfs:label | PolySpace (fr) Polyspace (ja) Polyspace (en) Polyspace (zh) |
| owl:sameAs | freebase:Polyspace yago-res:Polyspace wikidata:Polyspace dbpedia-fr:Polyspace dbpedia-ja:Polyspace dbpedia-zh:Polyspace https://global.dbpedia.org/id/4tnU2 |
| prov:wasDerivedFrom | wikipedia-en:Polyspace?oldid=1064287776&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Polyspace |
| foaf:name | Polyspace (en) |
| is dbo:wikiPageWikiLink of | dbr:MISRA_C dbr:MathWorks dbr:SQuORE dbr:Dangling_pointer dbr:Fluctuat dbr:List_of_Eclipse-based_software dbr:List_of_tools_for_static_code_analysis |
| is foaf:primaryTopic of | wikipedia-en:Polyspace |