PhASAR: An Inter-procedural Static Analysis Framework for C/C
Static program analysis is used to automatically determine program properties, or to detect bugs or security vulnerabilities in programs. It can be used as a stand-alone tool or to aid compiler...
link.springer.com