@prefix dbo:	<http://dbpedia.org/ontology/> .
@prefix dbr:	<http://dbpedia.org/resource/> .
dbr:V850	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Dawson_Engler	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Pointer_analysis	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Pylint	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Code_coverage	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Analysis	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Ariane_flight_V88	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:PurifyPlus	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Software_verification_and_validation	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:PC-Lint	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Infer_Static_Analyzer	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Software_verification	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Development_testing	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Mobile-device_testing	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Continuous_testing	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Lazy_systematic_unit_testing	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:List_of_Eclipse-based_software	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Liverpool_Data_Research_Associates	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Abstract_interpretation	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
<http://dbpedia.org/resource/William_Pugh_(computer_scientist)>	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Change_impact_analysis	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Polyspace	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:List_of_file_formats	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Coding_conventions	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:SQuORE	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Technical_debt	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:NDepend	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:JSHint	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:FxCop	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Documentation_generator	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Memory_debugger	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:BLAST_model_checker	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Cppdepend	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:ECLAIR	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:JSLint	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Sparse	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:JArchitect	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:ThreadSafe	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:PerlTidy	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Checkstyle	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
<http://dbpedia.org/resource/Splint_(programming_tool)>	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:StyleCop	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:RIPS	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
@prefix ns2:	<http://dbpedia.org/resource/ESC/> .
ns2:Java	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:SofCheck_Inspector	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:CodePeer	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:AdaControl	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Sotoarc	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Automated_code_review	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Code_review	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:OpenBSD_security_features	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
<http://dbpedia.org/resource/Coupling_(computer_programming)>	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
<http://dbpedia.org/resource/Sider_(Automated_Code_Review)>	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Design_by_contract	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
<http://dbpedia.org/resource/Profiling_(computer_programming)>	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:FindBugs	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Programming_language	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Buffer_overflow	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Avionics_software	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:MISRA_C	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Buffer_overflow_protection	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
<http://dbpedia.org/resource/Name_resolution_(programming_languages)>	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Fexpr	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Software_testing	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Martin_Odersky	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Patrick_Cousot	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Computer_programming	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Referential_transparency	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Byte_Code_Engineering_Library	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Institute_for_System_Programming	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Cppcheck	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Visual_Studio_Code	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Microsoft_and_open_source	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
<http://dbpedia.org/resource/Shape_analysis_(program_analysis)>	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
<http://dbpedia.org/resource/Trademark_(computer_security)>	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:RascalMPL	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Comparison_of_integrated_development_environments	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
<http://dbpedia.org/resource/Racket_(programming_language)>	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Dhrystone	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
<http://dbpedia.org/resource/Lint_(software)>	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Formal_verification	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Frama-C	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Fluctuat	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:PVS-Studio	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Perforce	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Dynamic_program_analysis	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:RISC_OS	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:CodeSonar	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Rogue_Wave_Software	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Reconvergent_fan-out	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Jtest	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
<http://dbpedia.org/resource/Parasoft_C/C++test>	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Parasoft	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:List_of_computer_science_conferences	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:List_of_programming_language_researchers	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:GNU_Compiler_Collection	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:OpenBSD	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
<http://dbpedia.org/resource/Understand_(software)>	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Klocwork	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Helix_QAC	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Inversion_of_control	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Camel_case	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Michael_Hennell	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Abstract_model_checking	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Programming_tool	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Index_of_software_engineering_articles	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Constructed_product_result_analysis	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:ESLint	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Use-define_chain	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Control_flow_analysis	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Jinx_Debugger	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Red_Lizard_Software	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Model_checking	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Coverity	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Software_bug	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
dbr:Static_code_analysis	owl:sameAs	dbr:Static_code_analysis ;
	dbo:wikiPageWikiLink	dbr:Static_program_analysis ;
	dbo:wikiPageRedirects	dbr:Static_program_analysis .
<http://dbpedia.org/resource/Arrow_(computer_science)>	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Software_testing_tactics	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Control-flow_graph	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Error_code	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
<http://dbpedia.org/resource/Assertion_(software_development)>	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Extended_static_checking	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:SonarSource	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:LDRA_Testbed	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:Parasoft_DTP	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:CodeRush	dbo:wikiPageWikiLink	dbr:Static_code_analysis .
dbr:SCA	dbo:wikiPageWikiLink	dbr:Static_code_analysis ;
	dbo:wikiPageDisambiguates	dbr:Static_code_analysis .
<http://dbpedia.org/resource/Cohesion_(computer_science)>	dbo:wikiPageWikiLink	dbr:Static_code_analysis .