Problem Statement
In the landscape of modern software development, security threats are pervasive; therefore, it is essential that security risk management and vulnerability checks be performed throughout development. One of the common approaches to bug finding and security vulnerabilities is source code static analysis. However, it tends to be a time-consuming process, prone to errors and not well-organized. Upon the detection of the vulnerabilities, these need to be repaired, and hence the cycle goes on for detection and patching.