Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Static_program_analysis> ?p ?o }
- Static_program_analysis abstract "Static program analysis is the analysis of computer software that is performed without actually executing programs (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, program comprehension, or code review. Software inspections and Software walkthroughs are also used in the latter case.".
- Static_program_analysis wikiPageExternalLink ~schmidt.
- Static_program_analysis wikiPageExternalLink samate.nist.gov.
- Static_program_analysis wikiPageExternalLink home.html.
- Static_program_analysis wikiPageExternalLink sv-comp.sosy-lab.org.
- Static_program_analysis wikiPageExternalLink ~aiken.
- Static_program_analysis wikiPageExternalLink 205801074.
- Static_program_analysis wikiPageExternalLink 189401916.
- Static_program_analysis wikiPageExternalLink printableArticle.jhtml?articleID=193500830.
- Static_program_analysis wikiPageExternalLink dotnet-static-analysis.
- Static_program_analysis wikiPageExternalLink governance-coding-standards.
- Static_program_analysis wikiPageExternalLink static-code-analysis.html.
- Static_program_analysis wikiPageExternalLink index.php?post_id=220531.
- Static_program_analysis wikiPageExternalLink cs295.
- Static_program_analysis wikiPageExternalLink MS.2008.130.
- Static_program_analysis wikiPageID "28811".
- Static_program_analysis wikiPageLength "13925".
- Static_program_analysis wikiPageOutDegree "68".
- Static_program_analysis wikiPageRevisionID "679087883".
- Static_program_analysis wikiPageWikiLink ISO_C_Specification_Language.
- Static_program_analysis wikiPageWikiLink Abstract_interpretation.
- Static_program_analysis wikiPageWikiLink Abstraction_(computer_science).
- Static_program_analysis wikiPageWikiLink Ada_(programming_language).
- Static_program_analysis wikiPageWikiLink Alan_Turing.
- Static_program_analysis wikiPageWikiLink Alonzo_Church.
- Static_program_analysis wikiPageWikiLink Axiomatic_semantics.
- Static_program_analysis wikiPageWikiLink Category:Program_analysis.
- Static_program_analysis wikiPageWikiLink Category:Quality_assurance.
- Static_program_analysis wikiPageWikiLink Category:Software_review.
- Static_program_analysis wikiPageWikiLink Category:Software_testing.
- Static_program_analysis wikiPageWikiLink Category:Static_program_analysis.
- Static_program_analysis wikiPageWikiLink Code_audit.
- Static_program_analysis wikiPageWikiLink Code_review.
- Static_program_analysis wikiPageWikiLink Computer_hardware.
- Static_program_analysis wikiPageWikiLink Correctness_(computer_science).
- Static_program_analysis wikiPageWikiLink Correctness_of_computer_programs.
- Static_program_analysis wikiPageWikiLink Data-flow_analysis.
- Static_program_analysis wikiPageWikiLink Data_flow_analysis.
- Static_program_analysis wikiPageWikiLink Decision_problem.
- Static_program_analysis wikiPageWikiLink Denotational_semantics.
- Static_program_analysis wikiPageWikiLink Documentation_generator.
- Static_program_analysis wikiPageWikiLink Dynamic_program_analysis.
- Static_program_analysis wikiPageWikiLink Java.
- Static_program_analysis wikiPageWikiLink Java2.
- Static_program_analysis wikiPageWikiLink Finite-state_machine.
- Static_program_analysis wikiPageWikiLink Food_and_Drug_Administration.
- Static_program_analysis wikiPageWikiLink Formal_methods.
- Static_program_analysis wikiPageWikiLink Formal_semantics_of_programming_languages.
- Static_program_analysis wikiPageWikiLink Formal_system.
- Static_program_analysis wikiPageWikiLink Formal_verification.
- Static_program_analysis wikiPageWikiLink Frama-C.
- Static_program_analysis wikiPageWikiLink Frama-c.
- Static_program_analysis wikiPageWikiLink Halting_problem.
- Static_program_analysis wikiPageWikiLink Health_and_Safety_Executive.
- Static_program_analysis wikiPageWikiLink Hoare_logic.
- Static_program_analysis wikiPageWikiLink Java_Modeling_Language.
- Static_program_analysis wikiPageWikiLink Kurt_Gödel.
- Static_program_analysis wikiPageWikiLink Life-critical_system.
- Static_program_analysis wikiPageWikiLink Lint_(software).
- Static_program_analysis wikiPageWikiLink Lint_programming_tool.
- Static_program_analysis wikiPageWikiLink List_of_tools_for_static_code_analysis.
- Static_program_analysis wikiPageWikiLink Medical_software.
- Static_program_analysis wikiPageWikiLink Model_checking.
- Static_program_analysis wikiPageWikiLink Object_Management_Group.
- Static_program_analysis wikiPageWikiLink Object_code.
- Static_program_analysis wikiPageWikiLink Operational_semantics.
- Static_program_analysis wikiPageWikiLink Podcast.
- Static_program_analysis wikiPageWikiLink Polyspace.
- Static_program_analysis wikiPageWikiLink Predicate_transformer_semantics.
- Static_program_analysis wikiPageWikiLink Program_analysis.
- Static_program_analysis wikiPageWikiLink Program_analysis_(computer_science).
- Static_program_analysis wikiPageWikiLink Program_comprehension.
- Static_program_analysis wikiPageWikiLink Reactor_Protective_System.
- Static_program_analysis wikiPageWikiLink Reactor_protection_system.
- Static_program_analysis wikiPageWikiLink Reverse_engineering.
- Static_program_analysis wikiPageWikiLink Rices_theorem.
- Static_program_analysis wikiPageWikiLink SPARK_(programming_language).
- Static_program_analysis wikiPageWikiLink SPARK_programming_language.
- Static_program_analysis wikiPageWikiLink Safety-critical.
- Static_program_analysis wikiPageWikiLink Semantics_(computer_science).
- Static_program_analysis wikiPageWikiLink Shape_analysis_(program_analysis).
- Static_program_analysis wikiPageWikiLink Shape_analysis_(software).
- Static_program_analysis wikiPageWikiLink Software.
- Static_program_analysis wikiPageWikiLink Software_inspection.
- Static_program_analysis wikiPageWikiLink Software_metric.
- Static_program_analysis wikiPageWikiLink Software_quality.
- Static_program_analysis wikiPageWikiLink Software_walkthrough.
- Static_program_analysis wikiPageWikiLink Source_code.
- Static_program_analysis wikiPageWikiLink Stanford_University.
- Static_program_analysis wikiPageWikiLink Symbolic_execution.
- Static_program_analysis wikiPageWikiLink Turing_complete.
- Static_program_analysis wikiPageWikiLink Turing_completeness.
- Static_program_analysis wikiPageWikiLink Vulnerability_(computing).
- Static_program_analysis wikiPageWikiLink Weakest_precondition.
- Static_program_analysis wikiPageWikiLinkText "Static Analysis".
- Static_program_analysis wikiPageWikiLinkText "Static Application Security Testing (SAST)".
- Static_program_analysis wikiPageWikiLinkText "Static analysis".
- Static_program_analysis wikiPageWikiLinkText "Static analyzer".
- Static_program_analysis wikiPageWikiLinkText "Static code analysis".
- Static_program_analysis wikiPageWikiLinkText "Static program analysis tool".