attempt to explain difference and trade-offs between techniques - Githubissues

0xalpharush / static-analysis-and-compilers

Eclectic notes on static analysis and compilers

47 stars 7 forks source link

attempt to explain difference and trade-offs between techniques #8

Open 0xalpharush opened 1 year ago

0xalpharush commented 1 year ago

start with Rice's theorem ofc

static analysis

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