staticAnal

Jackcui NJU Loser
  2024-09-12 18:47:33 2024-09-12 18:47 Created   2024-09-12 20:22:21 2024-09-12 20:22 Updated  75 Words  1 Mins  

C like
bond states(in memory) with variables and edit them.
based on Turing Machine

Scheme like
based on $\lambda$ calculus

Logical

Python is 1+2 while

Flix is 1+2+3

Due to the fact that many optimization or verification is based on the program analysis, the soundness is usually the first priority.
No soundness may lead to wrong behavior or wrong optimization.

soundness -> False positive (positive means bug is reported)
completeness -> False negative

  • Post title：staticAnal
  • Post author：Jackcui
  • Create time：2024-09-12 18:47:33
  • Post link：https://jackcuii.github.io/2024/09/12/staticAnal/
  • Copyright Notice：All articles in this blog are licensed under BY-NC-SA unless stating additionally.
 Comments
On this page
staticAnal