Function context detection in the program source code
The first (naive) paper about static analysis and how to organize collection of execution contexts.
The first (naive) paper about static analysis and how to organize collection of execution contexts.