static-analysis-and-compilers icon indicating copy to clipboard operation
static-analysis-and-compilers copied to clipboard
verified publisher icon 0xalpharush

attempt to explain difference and trade-offs between techniques

Open 0xalpharush opened this issue 3 years ago • 0 comments

start with Rice's theorem ofc

static analysis

  • abstract interpretation
  • model checking
  • property directed reachability (IC3)
  • symbolic execution

0xalpharush avatar Jan 16 '23 04:01 0xalpharush