As a compiler-independent static analysis and verification solution, CodeSecure™ leverages 3rd generation technology to detect vulnerabilities in web application source code. During scanning, CodeSecure™ forms an overall picture of the application, assessing the programming grammar, performing pure data-flow and control-flow analysis on each line of code, and systematically checking for vulnerabilities and tainted variables.

As CodeSecure™ is not based on attack signatures but on pattern-free algorithms, it determines the behavioral outcomes of input data by calculating all possible execution paths. It is extremely effective in finding instances of code that make the web application vulnerable to exploits such as Dataflow attacks, Cross Site Scripting (XSS), Injection (SQL, File, XPATH, reflection), File Inclusion, Malicious File Execution and Information Leakage.
During analysis, each vulnerability is traced back to the original entry point and line of code that caused it. By providing this map of the vulnerability propagation through the application, CodeSecure™ allows developers to see the direct relationship between their coding practices and the overall security posture of the application.
Ease of Installation, Configuration and Use

|