https://github.com/scipag/codex
Dissect code, analyze logic, find flaws
https://github.com/scipag/codex
code-analysis code-quality php source source-code source-code-study
Last synced: 4 days ago
JSON representation
Dissect code, analyze logic, find flaws
- Host: GitHub
- URL: https://github.com/scipag/codex
- Owner: scipag
- Created: 2017-03-10T13:53:07.000Z (about 8 years ago)
- Default Branch: master
- Last Pushed: 2017-03-10T13:55:21.000Z (about 8 years ago)
- Last Synced: 2025-04-01T14:37:14.379Z (24 days ago)
- Topics: code-analysis, code-quality, php, source, source-code, source-code-study
- Language: Visual Basic
- Homepage: http://www.computec.ch/projekte/codex/
- Size: 122 KB
- Stars: 10
- Watchers: 4
- Forks: 7
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# codex - Dissect code, analyze logic, find flaws
The goal of the codEX Project is to develop systematic strategies and methodologies to do (semi-)automated source code analysis.
The basic idea is to create a framework which is able to dissect source code. For further analysis on a logical layer a reduced normalization is required. This is realized with a virtual compiler for different programming languages which creates a linear assembly-like structure named as MetaCode™.
Depending on this intermediate code it is possible to do a formal analysis of the dissected program with advanced propositional calculus. Syntactical mistakes (e.g. inadequate parenthesis), logical errors (e.g. off-by-one counters) and security flaws (e.g. SQL injection) can be determined very accurately. Therefore, codEX makes it very easy to find vulnerabilities within applications.