Jump to content

Category:Static program analysis

From Wikipedia, the free encyclopedia

Subcategories

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

A

Abstract interpretation‎ (10 P)

S

Static program analysis tools‎ (80 P)

T

Type inference‎ (1 C, 4 P)

Pages in category "Static program analysis"

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

Static program analysis

A

C

Call graph

D

Dependence analysis

E

Escape analysis

H

Hoare logic

I

Infer Static Analyzer

L

Live-variable analysis

P

S

T

V

Value range analysis

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

Program analysis