• Polyvariance
    improve the precision of the analysis. Polyvariance is common in data-flow and pointer analyses. Forms of polyvariance include: Call-site sensitivity The...
    2 KB (215 words) - 15:36, 8 August 2023
  • SAT solver
    Control-flow graph Correctness Hyperproperties Invariants Path explosion Polyvariance Rice's theorem Runtime verification Safety and liveness Undefined behavior...
    29 KB (3,580 words) - 17:07, 9 October 2024
  • Thumbnail for Model checking
    Model checking
    Control-flow graph Correctness Hyperproperties Invariants Path explosion Polyvariance Rice's theorem Runtime verification Safety and liveness Undefined behavior...
    25 KB (2,765 words) - 22:12, 29 October 2024
  • E-graph
    Control-flow graph Correctness Hyperproperties Invariants Path explosion Polyvariance Rice's theorem Runtime verification Safety and liveness Undefined behavior...
    15 KB (2,143 words) - 20:26, 30 October 2024
  • Side effect (computer science)
    Control-flow graph Correctness Hyperproperties Invariants Path explosion Polyvariance Rice's theorem Runtime verification Safety and liveness Undefined behavior...
    10 KB (1,081 words) - 08:02, 1 October 2024
  • Safety and liveness properties
    Control-flow graph Correctness Hyperproperties Invariants Path explosion Polyvariance Rice's theorem Runtime verification Safety and liveness Undefined behavior...
    13 KB (1,738 words) - 21:31, 20 August 2024
  • Dependence analysis
    Control-flow graph Correctness Hyperproperties Invariants Path explosion Polyvariance Rice's theorem Runtime verification Safety and liveness Undefined behavior...
    4 KB (564 words) - 13:04, 22 January 2024
  • Separation logic
    Control-flow graph Correctness Hyperproperties Invariants Path explosion Polyvariance Rice's theorem Runtime verification Safety and liveness Undefined behavior...
    28 KB (3,647 words) - 14:42, 2 October 2024
  • Abstract interpretation
    Control-flow graph Correctness Hyperproperties Invariants Path explosion Polyvariance Rice's theorem Runtime verification Safety and liveness Undefined behavior...
    24 KB (2,924 words) - 16:16, 17 April 2024
  • Typestate analysis
    Control-flow graph Correctness Hyperproperties Invariants Path explosion Polyvariance Rice's theorem Runtime verification Safety and liveness Undefined behavior...
    14 KB (1,836 words) - 13:04, 12 September 2024