Systematization of abstractions for unified programming language and environment support in static code analyzers Research
The paper about classification of abstractions used in static analyzers.
Date: 2021
Conference: CPS-2021
The paper about classification of abstractions used in static analyzers.
Date: 2021
Conference: CPS-2021