• Home
  • Random
  • Nearby
  • Log in
  • Settings
Donate Now If Wikipedia is useful to you, please give today.
  • About Wikipedia
  • Disclaimers
Wikipedia

Category:Static program analysis

  • Category
  • Talk
  • Language
  • Watch
  • Edit
The main article for this category is Static program analysis.

Subcategories

This category has the following 3 subcategories, out of 3 total.

A

  • Abstract interpretation (9 P)

S

  • Static program analysis tools (76 P)

T

  • Type inference (1 C, 4 P)

Pages in category "Static program analysis"

The following 22 pages are in this category, out of 22 total. This list may not reflect recent changes.

 

  • Static program analysis

A

  • Alias analysis
  • Array-access analysis

C

  • Call graph
  • Code motion

D

  • Dependence analysis

E

  • Escape analysis
  • Extended static checking

H

  • Hoare logic

I

  • Infer Static Analyzer

L

  • Live-variable analysis

P

  • Perl::Critic
  • Pointer analysis

S

  • Shape analysis (program analysis)
  • Size-change termination principle
  • Software mining
  • Static application security testing
  • Steensgaard's algorithm
  • Strictness analysis

T

  • Taint checking
  • Termination analysis

V

  • Value range analysis
Retrieved from "https://en.wikipedia.org/w/index.php?title=Category:Static_program_analysis&oldid=411156951"