About: Static program analysis

An Entity of Type: Concept, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Property	Value
dbo:wikiPageID	30700829 (xsd:integer)
dbo:wikiPageRevisionID	411156951 (xsd:integer)
dbp:wikiPageUsesTemplate	dbt:Catmain
rdf:type	skos:Concept
rdfs:label	Static program analysis (en)
skos:broader	dbc:Program_analysis
skos:prefLabel	Static program analysis (en)
prov:wasDerivedFrom	wikipedia-en:Category:Static_program_analysis?oldid=411156951&ns=14
is dbo:wikiPageWikiLink of	dbr:Alias_analysis dbr:Dependence_analysis dbr:Infer_Static_Analyzer dbr:Escape_analysis dbr:Array-access_analysis dbr:Call_graph dbr:Static_program_analysis dbr:Taint_checking dbr:Static_application_security_testing dbr:Hoare_logic dbr:Termination_analysis dbr:Shape_analysis_(program_analysis) dbr:Live-variable_analysis dbr:Pointer_analysis dbr:Strictness_analysis dbr:Perl::Critic dbr:Size-change_termination_principle dbr:Value_range_analysis
is dcterms:subject of	dbr:Alias_analysis dbr:Dependence_analysis dbr:Infer_Static_Analyzer dbr:Escape_analysis dbr:Array-access_analysis dbr:Call_graph dbr:Static_program_analysis dbr:Taint_checking dbr:Static_application_security_testing dbr:Hoare_logic dbr:Termination_analysis dbr:Shape_analysis_(program_analysis) dbr:Live-variable_analysis dbr:Pointer_analysis dbr:Strictness_analysis dbr:Perl::Critic dbr:Size-change_termination_principle dbr:Value_range_analysis
is skos:broader of	dbc:Static_program_analysis_tools dbc:Type_inference dbc:Abstract_interpretation

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License