Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/CodePeer> ?p ?o }
Showing triples 1 to 45 of
45
with 100 triples per page.
- CodePeer abstract "CodePeer is a static analysis tool, which identifies constructs that are likely to lead to run-time errors such as buffer overflows, and it flags legal but suspect code, typical of logic errors in Ada programs. All Ada run-time checks are exhaustively verified by CodePeer, using a variant of abstract interpretation. In October 2014, CodePeer was qualified for use in safety-critical contexts as a sound tool for identifying possible run-time errors. CodePeer also produces detailed as-built documentation of each subprogram, including pre- and post-conditions, to help with code review and to ease locating potential bugs and vulnerabilities early.CodePeer is produced by AdaCore, a computer software company with North American headquarters in New York and European headquarters in Paris.".
- CodePeer wikiPageExternalLink ?4014.
- CodePeer wikiPageExternalLink advanced-meets-contract-based-programming.
- CodePeer wikiPageExternalLink www.adacore.com.
- CodePeer wikiPageExternalLink codepeer-launch.
- CodePeer wikiPageExternalLink codepeer.
- CodePeer wikiPageExternalLink codepeer-earns-qualification.
- CodePeer wikiPageExternalLink 91-why-is-static-analysis-a-challenge-interview-with-michael-friess-adacore?lastid=91.
- CodePeer wikiPageID "43024543".
- CodePeer wikiPageLength "3399".
- CodePeer wikiPageOutDegree "16".
- CodePeer wikiPageRevisionID "665574247".
- CodePeer wikiPageWikiLink Abstract_interpretation.
- CodePeer wikiPageWikiLink AdaCore.
- CodePeer wikiPageWikiLink Ada_(programming_language).
- CodePeer wikiPageWikiLink Category:Development_software_companies.
- CodePeer wikiPageWikiLink Category:Java_development_tools.
- CodePeer wikiPageWikiLink Category:Java_platform_software.
- CodePeer wikiPageWikiLink Category:Static_program_analysis_tools.
- CodePeer wikiPageWikiLink Computer_software.
- CodePeer wikiPageWikiLink List_of_tools_for_static_code_analysis.
- CodePeer wikiPageWikiLink New_York.
- CodePeer wikiPageWikiLink Paris.
- CodePeer wikiPageWikiLink Software.
- CodePeer wikiPageWikiLink Software_Security_Assurance.
- CodePeer wikiPageWikiLink Software_security_assurance.
- CodePeer wikiPageWikiLink Software_testing.
- CodePeer wikiPageWikiLink Static_code_analysis.
- CodePeer wikiPageWikiLink Static_program_analysis.
- CodePeer wikiPageWikiLinkText "CodePeer".
- CodePeer hasPhotoCollection CodePeer.
- CodePeer wikiPageUsesTemplate Template:Reflist.
- CodePeer subject Category:Development_software_companies.
- CodePeer subject Category:Java_development_tools.
- CodePeer subject Category:Java_platform_software.
- CodePeer subject Category:Static_program_analysis_tools.
- CodePeer hypernym Tool.
- CodePeer type Software.
- CodePeer comment "CodePeer is a static analysis tool, which identifies constructs that are likely to lead to run-time errors such as buffer overflows, and it flags legal but suspect code, typical of logic errors in Ada programs. All Ada run-time checks are exhaustively verified by CodePeer, using a variant of abstract interpretation. In October 2014, CodePeer was qualified for use in safety-critical contexts as a sound tool for identifying possible run-time errors.".
- CodePeer label "CodePeer".
- CodePeer sameAs m.010vv4zd.
- CodePeer sameAs Q17182531.
- CodePeer sameAs Q17182531.
- CodePeer wasDerivedFrom CodePeer?oldid=665574247.
- CodePeer isPrimaryTopicOf CodePeer.