Static program analysis
Written by Grigory Rechistov in Uncategorized on 29.10.2022. Tags: static analysis, compilation,
Definition
Static analysis (SA) happens when any partial execution of program code happens. That is, the code is treated as having different semantics, only partially matching what the compilation/interpretation (C/I) process is extracting from it.
Neither executable translation artifacts (object files and executables from compilation) nor behavioral effects …