@prefix dbpedia-owl:	<http://dbpedia.org/ontology/> .
@prefix dbpedia:	<http://dbpedia.org/resource/> .
<http://dbpedia.org/resource/Splint_%28programming_tool%29>	dbpedia-owl:genre	dbpedia:Static_code_analysis .
@prefix ns2:	<http://dbpedia.org/ontology/Work/> .
<http://dbpedia.org/resource/Splint_%28programming_tool%29>	ns2:genre	dbpedia:Static_code_analysis .
@prefix dbpprop:	<http://dbpedia.org/property/> .
<http://dbpedia.org/resource/Splint_%28programming_tool%29>	dbpprop:genre	dbpedia:Static_code_analysis .
dbpedia:Static	dbpprop:disambiguates	dbpedia:Static_code_analysis .
@prefix rdf:	<http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix ns5:	<http://dbpedia.org/class/yago/> .
dbpedia:Static_code_analysis	rdf:type	ns5:FormalMethods .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
dbpedia:Static_code_analysis	owl:sameAs	<http://rdf.freebase.com/ns/guid.9202a8c04000641f8000000000039113> .
@prefix foaf:	<http://xmlns.com/foaf/0.1/> .
@prefix ns8:	<http://en.wikipedia.org/wiki/> .
dbpedia:Static_code_analysis	foaf:page	ns8:Static_code_analysis ;
	dbpprop:reference	<http://santos.cis.ksu.edu/schmidt/Escuela03/home.html> .
@prefix ns9:	<http://www.parasoft.com/jsp/redirector.jsp/> .
dbpedia:Static_code_analysis	dbpprop:reference	ns9:WWH_CodeAnalysis_W ,
		<http://www.se-radio.net/index.php?post_id=220531> ,
		<http://www.ddj.com/dept/debug/189401916> ,
		<http://samate.nist.gov> ,
		<http://research.microsoft.com/en-us/um/people/livshits/papers/pdf/thesis.pdf> .
@prefix ns10:	<http://www.infoq.com/articles/> .
dbpedia:Static_code_analysis	dbpprop:reference	ns10:governance-coding-standards ,
		<http://www.stanford.edu/class/cs295/> ,
		<http://www2.computer.org/portal/web/csdl/doi/10.1109/MS.2008.130> .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
dbpedia:Static_code_analysis	rdfs:label	"Analyse statique de programmes"@fr ,
		"Static code analysis"@en ,
		"Statische Code-Analyse"@de ,
		"\u9759\u7684\u30B3\u30FC\u30C9\u89E3\u6790"@ja ,
		"Staattinen analyysi"@fi ,
		"\u0421\u0442\u0430\u0442\u0438\u0447\u0435\u0441\u043A\u0438\u0439 \u0430\u043D\u0430\u043B\u0438\u0437 \u043A\u043E\u0434\u0430"@ru ;
	dbpprop:abstract	"En informatique, la notion d'analyse statique de programmes couvre une vari\u00E9t\u00E9 de m\u00E9thodes utilis\u00E9es pour obtenir des informations sur le comportement d'un programme lors de son \u00E9x\u00E9cution sans r\u00E9ellement l'ex\u00E9cuter. C'est cette derni\u00E8re restriction qui distingue l'analyse statique des analyses dynamiques (comme le d\u00E9bogage ou le profiling) qui sont concern\u00E9s par le suivi de l'ex\u00E9cution du programme. L'analyse statique est utilis\u00E9e pour rep\u00E9rer des erreurs de programmation ou de conception, mais aussi pour d\u00E9terminer la facilit\u00E9 ou la difficult\u00E9 \u00E0 maintenir le code."@fr ,
		"\u9759\u7684\u30B3\u30FC\u30C9\u89E3\u6790\uFF08Static Code Analysis\uFF09\u3068\u306F\u3001\u30B3\u30F3\u30D4\u30E5\u30FC\u30BF\u306E\u30BD\u30D5\u30C8\u30A6\u30A7\u30A2\u306E\u89E3\u6790\u624B\u6CD5\u306E\u4E00\u7A2E\u3067\u3042\u308A\u3001\u5B9F\u884C\u30D5\u30A1\u30A4\u30EB\u3092\u5B9F\u884C\u3059\u308B\u3053\u3068\u306A\u304F\u89E3\u6790\u3092\u884C\u3046\u3053\u3068\u3002\u9006\u306B\u30BD\u30D5\u30C8\u30A6\u30A7\u30A2\u3092\u5B9F\u884C\u3057\u3066\u884C\u3046\u89E3\u6790\u3092\u52D5\u7684\u30D7\u30ED\u30B0\u30E9\u30E0\u89E3\u6790\u3068\u547C\u3076\u3002\u9759\u7684\u30B3\u30FC\u30C9\u89E3\u6790\u306F\u30BD\u30FC\u30B9\u30B3\u30FC\u30C9\u306B\u5BFE\u3057\u3066\u884C\u308F\u308C\u308B\u3053\u3068\u304C\u591A\u304F\u3001\u5C11\u6570\u306A\u304C\u3089\u30AA\u30D6\u30B8\u30A7\u30AF\u30C8\u30B3\u30FC\u30C9\u306B\u5BFE\u3057\u3066\u884C\u3046\u5834\u5408\u3082\u3042\u308B\u3002\u307E\u305F\u3001\u3053\u306E\u7528\u8A9E\u306F\u4EE5\u4E0B\u306B\u5217\u6319\u3059\u308B\u30C4\u30FC\u30EB\u3092\u4F7F\u7528\u3057\u305F\u89E3\u6790\u3092\u610F\u5473\u3059\u308B\u3053\u3068\u304C\u591A\u3044\u3002\u4EBA\u9593\u304C\u884C\u3046\u4F5C\u696D\u306F\u30A4\u30F3\u30B9\u30DA\u30AF\u30B7\u30E7\u30F3\u3001\u30B3\u30FC\u30C9\u30EC\u30D3\u30E5\u30FC\u306A\u3069\u3068\u547C\u3076\u3002 \u30C4\u30FC\u30EB\u304C\u884C\u3046\u9759\u7684\u30B3\u30FC\u30C9\u89E3\u6790\u306E\u6D17\u7DF4\u5EA6\u306F\u3001\u500B\u3005\u306E\u6587\u3084\u5BA3\u8A00\u3060\u3051\u3092\u691C\u8A3C\u3059\u308B\u3082\u306E\u304B\u3089\u3001\u30D7\u30ED\u30B0\u30E9\u30E0\u5168\u4F53\u3092\u89E3\u6790\u3059\u308B\u3082\u306E\u307E\u3067\u69D8\u3005\u3067\u3042\u308B\u3002\u89E3\u6790\u7D50\u679C\u306E\u5229\u7528\u3082\u69D8\u3005\u3067\u3001Lint\u306E\u3088\u3046\u306B\u5358\u306B\u6307\u6458\u3059\u308B\u3060\u3051\u306E\u3082\u306E\u304B\u3089\u3001\u5F62\u5F0F\u624B\u6CD5\u3092\u4F7F\u3063\u3066\u305D\u306E\u30D7\u30ED\u30B0\u30E9\u30E0\u306E\u7279\u6027\u3092\u6570\u5B66\u7684\u306B\u8A3C\u660E\u3059\u308B\uFF08\u4ED5\u69D8\u8A18\u8FF0\u3068\u632F\u308B\u821E\u3044\u304C\u4E00\u81F4\u3057\u3066\u3044\u308B\u304B\u3069\u3046\u304B\u3092\u691C\u8A3C\u3059\u308B\uFF09\u3082\u306E\u307E\u3067\u3042\u308B\u3002 \u30BD\u30D5\u30C8\u30A6\u30A7\u30A2\u6E2C\u5B9A\u6CD5\u3084\u30EA\u30D0\u30FC\u30B9\u30A8\u30F3\u30B8\u30CB\u30A2\u30EA\u30F3\u30B0\u3082\u9759\u7684\u89E3\u6790\u306E\u4E00\u90E8\u3068\u307F\u306A\u3059\u3053\u3068\u3082\u3042\u308B\u3002 \u9759\u7684\u89E3\u6790\u306E\u5546\u696D\u5229\u7528\u306F\u3001\u91CD\u8981\u306A\u30B3\u30F3\u30D4\u30E5\u30FC\u30BF\u30B7\u30B9\u30C6\u30E0\u3067\u4F7F\u7528\u3055\u308C\u308B\u30BD\u30D5\u30C8\u30A6\u30A7\u30A2\u306E\u691C\u8A3C\u3084\u6F5C\u5728\u7684\u306A\u30BB\u30AD\u30E5\u30EA\u30C6\u30A3\u30DB\u30FC\u30EB\u3092\u691C\u51FA\u3059\u308B\u5FC5\u8981\u6027\u304C\u5897\u5927\u3057\u305F\u3053\u3068\u3092\u610F\u5473\u3059\u308B\u3002"@ja ,
		"Statische Code-Analyse oder kurz statische Analyse ist ein statisches Software-Testverfahren. Der Quelltext wird hierbei einer Reihe formaler Pr\u00FCfungen unterzogen, bei denen bestimmte Sorten von Fehlern entdeckt werden k\u00F6nnen, noch bevor die entsprechende Software ausgef\u00FChrt wird. Die Methodik geh\u00F6rt zu den falsifizierenden Verfahren, d. h. es wird die Anwesenheit von Fehlern bestimmt."@de ,
		"Staattinen analyysi tarkoittaa tietokoneohjelmien analysointia suorittamatta niit\u00E4 (suorittamalla tehty\u00E4 analysointia kutsutaan termill\u00E4 dynaaminen analyysi. Tyypillisesti juuri ty\u00F6kalun suorittamaa osuutta kutsutaan staattiseksi analyysiksi, kun taas ihmisen suorittamaa jatkoanalysointia siihen liittyen kutsutaan termill\u00E4 ohjelman ymm\u00E4rt\u00E4minen tai ohjelman ymm\u00E4rt\u00E4misen teoria ."@fi ,
		"\u0421\u0442\u0430\u0442\u0438\u0301\u0447\u0435\u0441\u043A\u0438\u0439 \u0430\u043D\u0430\u0301\u043B\u0438\u0437 \u043A\u043E\u0301\u0434\u0430 (\u0430\u043D\u0433\u043B. static code analysis)\u00A0\u2014 \u0430\u043D\u0430\u043B\u0438\u0437 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u043D\u043E\u0433\u043E \u043E\u0431\u0435\u0441\u043F\u0435\u0447\u0435\u043D\u0438\u044F, \u043F\u0440\u043E\u0438\u0437\u0432\u043E\u0434\u0438\u043C\u044B\u0439 \u0431\u0435\u0437 \u0440\u0435\u0430\u043B\u044C\u043D\u043E\u0433\u043E \u0432\u044B\u043F\u043E\u043B\u043D\u0435\u043D\u0438\u044F \u0438\u0441\u0441\u043B\u0435\u0434\u0443\u0435\u043C\u044B\u0445 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C (\u0430\u043D\u0430\u043B\u0438\u0437, \u043F\u0440\u043E\u0438\u0437\u0432\u043E\u0434\u0438\u043C\u044B\u0439 \u0441 \u0432\u044B\u043F\u043E\u043B\u043D\u0435\u043D\u0438\u0435\u043C \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C \u043D\u0430\u0437\u044B\u0432\u0430\u0435\u0442\u0441\u044F \u0434\u0438\u043D\u0430\u043C\u0438\u0447\u0435\u0441\u043A\u0438\u0439 \u0430\u043D\u0430\u043B\u0438\u0437 \u043A\u043E\u0434\u0430). \u0412 \u0431\u043E\u043B\u044C\u0448\u0438\u043D\u0441\u0442\u0432\u0435 \u0441\u043B\u0443\u0447\u0430\u0435\u0432 \u0430\u043D\u0430\u043B\u0438\u0437 \u043F\u0440\u043E\u0438\u0437\u0432\u043E\u0434\u0438\u0442\u0441\u044F \u043D\u0430\u0434 \u043A\u0430\u043A\u043E\u0439-\u043B\u0438\u0431\u043E \u0432\u0435\u0440\u0441\u0438\u0435\u0439 \u0438\u0441\u0445\u043E\u0434\u043D\u043E\u0433\u043E \u043A\u043E\u0434\u0430, \u0445\u043E\u0442\u044F \u0438\u043D\u043E\u0433\u0434\u0430 \u0430\u043D\u0430\u043B\u0438\u0437\u0443 \u043F\u043E\u0434\u0432\u0435\u0440\u0433\u0430\u0435\u0442\u0441\u044F \u043A\u0430\u043A\u043E\u0439-\u043D\u0438\u0431\u0443\u0434\u044C \u0432\u0438\u0434 \u043E\u0431\u044A\u0435\u043A\u0442\u043D\u043E\u0433\u043E \u043A\u043E\u0434\u0430, \u043D\u0430\u043F\u0440\u0438\u043C\u0435\u0440 P-\u043A\u043E\u0434 \u0438\u043B\u0438 \u043A\u043E\u0434 \u043D\u0430 MSIL. \u0422\u0435\u0440\u043C\u0438\u043D \u043E\u0431\u044B\u0447\u043D\u043E \u043F\u0440\u0438\u043C\u0435\u043D\u044F\u044E\u0442 \u043A \u0430\u043D\u0430\u043B\u0438\u0437\u0443, \u043F\u0440\u043E\u0438\u0437\u0432\u043E\u0434\u0438\u043C\u043E\u043C\u0443 \u0441\u043F\u0435\u0446\u0438\u0430\u043B\u044C\u043D\u044B\u043C \u041F\u041E, \u0442\u043E\u0433\u0434\u0430 \u043A\u0430\u043A \u0440\u0443\u0447\u043D\u043E\u0439 \u0430\u043D\u0430\u043B\u0438\u0437 \u043D\u0430\u0437\u044B\u0432\u0430\u044E\u0442 \u043F\u043E\u043D\u0438\u043C\u0430\u043D\u0438\u0435\u043C \u0438\u043B\u0438 \u043F\u043E\u0441\u0442\u0438\u0436\u0435\u043D\u0438\u0435\u043C \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u044B. \u0412 \u0437\u0430\u0432\u0438\u0441\u0438\u043C\u043E\u0441\u0442\u0438 \u043E\u0442 \u0438\u0441\u043F\u043E\u043B\u044C\u0437\u0443\u0435\u043C\u043E\u0433\u043E \u0438\u043D\u0441\u0442\u0440\u0443\u043C\u0435\u043D\u0442\u0430 \u0433\u043B\u0443\u0431\u0438\u043D\u0430 \u0430\u043D\u0430\u043B\u0438\u0437\u0430 \u043C\u043E\u0436\u0435\u0442 \u0432\u0430\u0440\u044C\u0438\u0440\u043E\u0432\u0430\u0442\u044C\u0441\u044F \u043E\u0442 \u043E\u043F\u0440\u0435\u0434\u0435\u043B\u0435\u043D\u0438\u044F \u043F\u043E\u0432\u0435\u0434\u0435\u043D\u0438\u044F \u043E\u0442\u0434\u0435\u043B\u044C\u043D\u044B\u0445 \u043E\u043F\u0435\u0440\u0430\u0442\u043E\u0440\u043E\u0432 \u0434\u043E \u0430\u043D\u0430\u043B\u0438\u0437\u0430, \u0432\u043A\u043B\u044E\u0447\u0430\u044E\u0449\u0435\u0433\u043E \u0432\u0435\u0441\u044C \u0438\u043C\u0435\u044E\u0449\u0438\u0439\u0441\u044F \u0438\u0441\u0445\u043E\u0434\u043D\u044B\u0439 \u043A\u043E\u0434. \u0421\u043F\u043E\u0441\u043E\u0431\u044B \u0438\u0441\u043F\u043E\u043B\u044C\u0437\u043E\u0432\u0430\u043D\u0438\u044F \u043F\u043E\u043B\u0443\u0447\u0435\u043D\u043D\u043E\u0439 \u0432 \u0445\u043E\u0434\u0435 \u0430\u043D\u0430\u043B\u0438\u0437\u0430 \u0438\u043D\u0444\u043E\u0440\u043C\u0430\u0446\u0438\u0438 \u0442\u0430\u043A\u0436\u0435 \u0440\u0430\u0437\u043B\u0438\u0447\u043D\u044B\u00A0\u2014 \u043E\u0442 \u0432\u044B\u044F\u0432\u043B\u0435\u043D\u0438\u044F \u043C\u0435\u0441\u0442, \u0432\u043E\u0437\u043C\u043E\u0436\u043D\u043E \u0441\u043E\u0434\u0435\u0440\u0436\u0430\u0449\u0438\u0445 \u043E\u0448\u0438\u0431\u043A\u0438, \u0434\u043E \u0444\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u044B\u0445 \u043C\u0435\u0442\u043E\u0434\u043E\u0432, \u043F\u043E\u0437\u0432\u043E\u043B\u044F\u044E\u0449\u0438\u0445 \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u0447\u0435\u0441\u043A\u0438 \u0434\u043E\u043A\u0430\u0437\u0430\u0442\u044C \u043A\u0430\u043A\u0438\u0435-\u043B\u0438\u0431\u043E \u0441\u0432\u043E\u0439\u0441\u0442\u0432\u0430 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u044B (\u043D\u0430\u043F\u0440\u0438\u043C\u0435\u0440, \u0441\u043E\u043E\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0438\u0435 \u043F\u043E\u0432\u0435\u0434\u0435\u043D\u0438\u044F \u0441\u043F\u0435\u0446\u0438\u0444\u0438\u043A\u0430\u0446\u0438\u0438). \u041D\u0435\u043A\u043E\u0442\u043E\u0440\u044B\u0435 \u043B\u044E\u0434\u0438 \u0441\u0447\u0438\u0442\u0430\u044E\u0442 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u043D\u044B\u0435 \u043C\u0435\u0442\u0440\u0438\u043A\u0438 \u0444\u043E\u0440\u043C\u043E\u0439 \u0441\u0442\u0430\u0442\u0438\u0447\u0435\u0441\u043A\u043E\u0433\u043E \u0430\u043D\u0430\u043B\u0438\u0437\u0430. \u0412 \u043F\u043E\u0441\u043B\u0435\u0434\u043D\u0435\u0435 \u0432\u0440\u0435\u043C\u044F \u0441\u0442\u0430\u0442\u0438\u0447\u0435\u0441\u043A\u0438\u0439 \u0430\u043D\u0430\u043B\u0438\u0437 \u0432\u0441\u0451 \u0431\u043E\u043B\u044C\u0448\u0435 \u0438\u0441\u043F\u043E\u043B\u044C\u0437\u0443\u0435\u0442\u0441\u044F \u0432 \u0432\u0435\u0440\u0438\u0444\u0438\u043A\u0430\u0446\u0438\u0438 \u0441\u0432\u043E\u0439\u0441\u0442\u0432 \u041F\u041E, \u0438\u0441\u043F\u043E\u043B\u044C\u0437\u0443\u0435\u043C\u043E\u0433\u043E \u0432 \u043A\u043E\u043C\u043F\u044C\u044E\u0442\u0435\u0440\u043D\u044B\u0445 \u0441\u0438\u0441\u0442\u0435\u043C\u0430\u0445 \u0432\u044B\u0441\u043E\u043A\u043E\u0439 \u043D\u0430\u0434\u0451\u0436\u043D\u043E\u0441\u0442\u0438."@ru ,
		"Static code analysis is the analysis of computer software that is performed without actually executing programs built from that software (analysis performed on executing programs is known as dynamic analysis). In most cases the analysis is performed on some version of the source code and in the other cases some form of the object code. The term is usually applied to the analysis performed by an automated tool, with human analysis being called program understanding or program comprehension. The sophistication of the analysis performed by tools varies from those that only consider the behavior of individual statements and declarations, to those that include the complete source code of a program in their analysis. Uses of the information obtained from the analysis vary from highlighting possible coding errors (e.g. , the lint tool) to formal methods that mathematically prove properties about a given program (e.g. , its behavior matches that of its specification). It can be argued that software metrics and reverse engineering are forms of static analysis. A growing commercial use of static analysis is in the verification of properties of software used in safety-critical computer systems and locating potentially vulnerable code."@en ;
	rdfs:comment	""@ja ,
		"En informatique, la notion d'analyse statique de programmes couvre une vari\u00E9t\u00E9 de m\u00E9thodes utilis\u00E9es pour obtenir des informations sur le comportement d'un programme lors de son \u00E9x\u00E9cution sans r\u00E9ellement l'ex\u00E9cuter. C'est cette derni\u00E8re restriction qui distingue l'analyse statique des analyses dynamiques (comme le d\u00E9bogage ou le profiling) qui sont concern\u00E9s par le suivi de l'ex\u00E9cution du programme."@fr ,
		"\u0421\u0442\u0430\u0442\u0438\u0301\u0447\u0435\u0441\u043A\u0438\u0439 \u0430\u043D\u0430\u0301\u043B\u0438\u0437 \u043A\u043E\u0301\u0434\u0430 (\u0430\u043D\u0433\u043B. static code analysis)\u00A0\u2014 \u0430\u043D\u0430\u043B\u0438\u0437 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u043D\u043E\u0433\u043E \u043E\u0431\u0435\u0441\u043F\u0435\u0447\u0435\u043D\u0438\u044F, \u043F\u0440\u043E\u0438\u0437\u0432\u043E\u0434\u0438\u043C\u044B\u0439 \u0431\u0435\u0437 \u0440\u0435\u0430\u043B\u044C\u043D\u043E\u0433\u043E \u0432\u044B\u043F\u043E\u043B\u043D\u0435\u043D\u0438\u044F \u0438\u0441\u0441\u043B\u0435\u0434\u0443\u0435\u043C\u044B\u0445 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C (\u0430\u043D\u0430\u043B\u0438\u0437, \u043F\u0440\u043E\u0438\u0437\u0432\u043E\u0434\u0438\u043C\u044B\u0439 \u0441 \u0432\u044B\u043F\u043E\u043B\u043D\u0435\u043D\u0438\u0435\u043C \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C \u043D\u0430\u0437\u044B\u0432\u0430\u0435\u0442\u0441\u044F \u0434\u0438\u043D\u0430\u043C\u0438\u0447\u0435\u0441\u043A\u0438\u0439 \u0430\u043D\u0430\u043B\u0438\u0437 \u043A\u043E\u0434\u0430)."@ru ,
		"Static code analysis is the analysis of computer software that is performed without actually executing programs built from that software (analysis performed on executing programs is known as dynamic analysis). In most cases the analysis is performed on some version of the source code and in the other cases some form of the object code. The term is usually applied to the analysis performed by an automated tool, with human analysis being called program understanding or program comprehension."@en ,
		"Staattinen analyysi tarkoittaa tietokoneohjelmien analysointia suorittamatta niit\u00E4 (suorittamalla tehty\u00E4 analysointia kutsutaan termill\u00E4 dynaaminen analyysi. Tyypillisesti juuri ty\u00F6kalun suorittamaa osuutta kutsutaan staattiseksi analyysiksi, kun taas ihmisen suorittamaa jatkoanalysointia siihen liittyen kutsutaan termill\u00E4 ohjelman ymm\u00E4rt\u00E4minen tai ohjelman ymm\u00E4rt\u00E4misen teoria ."@fi ,
		"Statische Code-Analyse oder kurz statische Analyse ist ein statisches Software-Testverfahren. Der Quelltext wird hierbei einer Reihe formaler Pr\u00FCfungen unterzogen, bei denen bestimmte Sorten von Fehlern entdeckt werden k\u00F6nnen, noch bevor die entsprechende Software ausgef\u00FChrt wird. Die Methodik geh\u00F6rt zu den falsifizierenden Verfahren, d. h. es wird die Anwesenheit von Fehlern bestimmt."@de .
@prefix skos:	<http://www.w3.org/2004/02/skos/core#> .
@prefix ns13:	<http://dbpedia.org/resource/Category:> .
dbpedia:Static_code_analysis	skos:subject	ns13:Static_code_analysis ,
		ns13:Formal_methods .
@prefix ns14:	<http://dbpedia.org/resource/Template:> .
dbpedia:Static_code_analysis	dbpprop:wikiPageUsesTemplate	ns14:otheruses4 ;
	dbpprop:otheruses4Property	"Static analysis"@en ,
		"the statistical method"@en ,
		"certain software quality assessment methods"@en .
@prefix ns15:	<http://www4.wiwiss.fu-berlin.de/flickrwrappr/photos/> .
dbpedia:Static_code_analysis	dbpprop:hasPhotoCollection	ns15:Static_code_analysis .
dbpedia:Sparse	dbpedia-owl:genre	dbpedia:Static_code_analysis ;
	ns2:genre	dbpedia:Static_code_analysis ;
	dbpprop:genre	dbpedia:Static_code_analysis .
dbpedia:FindBugs	dbpedia-owl:genre	dbpedia:Static_code_analysis ;
	ns2:genre	dbpedia:Static_code_analysis ;
	dbpprop:genre	dbpedia:Static_code_analysis .
dbpedia:Cppcheck	dbpedia-owl:genre	dbpedia:Static_code_analysis ;
	ns2:genre	dbpedia:Static_code_analysis ;
	dbpprop:genre	dbpedia:Static_code_analysis .
dbpedia:Frama-C	dbpedia-owl:genre	dbpedia:Static_code_analysis ;
	ns2:genre	dbpedia:Static_code_analysis ;
	dbpprop:genre	dbpedia:Static_code_analysis .
dbpedia:Code_analysis	dbpprop:redirect	dbpedia:Static_code_analysis .
dbpedia:Static_program_analysis	dbpprop:redirect	dbpedia:Static_code_analysis .
@prefix yago:	<http://mpii.de/yago/resource/> .
yago:Static_code_analysis	owl:sameAs	dbpedia:Static_code_analysis .