Posts Tagged With 'compilation'

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 …

Continue reading »



Copyright © 2024 Grigory Rechistov