cwi-swat / php-analysis
PHP language analyses in Rascal
☆27Updated 2 months ago
Alternatives and similar repositories for php-analysis:
Users that are interested in php-analysis are comparing it to the libraries listed below
- A Control Flow Graph implementation in PHP☆245Updated this week
- Pixy is a scanner static code analysis tools that scans PHP applications for security vulnerabilities.☆139Updated last year
- Taint Analysis for PHP☆45Updated 8 years ago
- PHP extension for web-application dynamic analysis.☆27Updated 6 years ago
- Performs advanced static analysis on PHP code☆444Updated 3 years ago
- An AST visualizer, for PHP☆75Updated 7 months ago
- A Z3-Based String Constraint Solver☆87Updated 5 years ago
- PHP opcodes dumper based on PHP embed SAPI☆55Updated 12 years ago
- Static analysis using data-flow and type inference for PHP applications - Implemented in Scala☆76Updated 11 years ago
- Fuzzer for PHP internal functions☆31Updated 12 years ago
- A tool for analyzing LLVM bitcode using Datalog.☆99Updated 4 years ago
- A proof of concept which generates mutations based on an abstract syntax tree☆15Updated 8 years ago
- xcache on github for easier collaboration - main repo still on lighttpd.net☆70Updated 7 years ago
- Creating native instructions in PHP since 2014☆191Updated 6 years ago
- Static Analysis for Detecting Side-Channel Vulnerabilities in PHP applications (Work-In-Progress)☆15Updated 7 years ago
- Disassembler and Debug Kit for PHP 7☆55Updated 5 years ago
- PHP Code Service☆25Updated 4 years ago
- A PHP Type reconstruction library☆36Updated 5 years ago
- A combined runtime/static code-analysis tool, that can trace parameter types☆83Updated last year
- A static analysis engine☆171Updated 9 years ago
- VUDDY & hmark for IoTcube☆21Updated last year
- Eir is a static vulnerability analysis tool for PHP applications written in C#☆20Updated 7 years ago
- Doop - Framework for Java Pointer and Taint Analysis☆17Updated 6 years ago
- OWASP WAP - Web Application Protection Project☆11Updated 5 years ago
- Symbolic Execution Engine for Boogie☆28Updated 3 years ago
- X-Ray - PHP Engine compiler hook API (new)☆20Updated 6 years ago
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆41Updated 3 years ago
- Reverts the php-ast AST back into (somewhat) PSR-compliant code☆52Updated 6 years ago
- This is the repository for JÄk. I created it as prototype during my masterthesis.☆30Updated 6 years ago