cwi-swat / php-analysis
PHP language analyses in Rascal
☆27Updated 4 months ago
Alternatives and similar repositories for php-analysis:
Users that are interested in php-analysis are comparing it to the libraries listed below
- Pixy is a scanner static code analysis tools that scans PHP applications for security vulnerabilities.☆140Updated last year
- A Control Flow Graph implementation in PHP☆244Updated 2 weeks ago
- Taint Analysis for PHP☆45Updated 8 years ago
- A Z3-Based String Constraint Solver☆87Updated 5 years ago
- PHP extension for web-application dynamic analysis.☆27Updated 6 years ago
- Fuzzer for PHP internal functions☆31Updated 13 years ago
- Static Analysis for Detecting Side-Channel Vulnerabilities in PHP applications (Work-In-Progress)☆15Updated 7 years ago
- A proof of concept which generates mutations based on an abstract syntax tree☆15Updated 8 years ago
- A tool for analyzing LLVM bitcode using Datalog.☆100Updated 4 years ago
- A PHP Type reconstruction library☆36Updated 6 years ago
- Performs advanced static analysis on PHP code☆444Updated 3 years ago
- Disassembler and Debug Kit for PHP 7☆55Updated 6 years ago
- Eir is a static vulnerability analysis tool for PHP applications written in C#☆20Updated 7 years ago
- PHP opcodes dumper based on PHP embed SAPI☆55Updated 12 years ago
- Symbolic Execution Engine for Boogie☆29Updated 3 years ago
- A fuzzy parser for C/C++ that creates semantic code property graphs☆36Updated 4 years ago
- A static security scanner for PHP☆96Updated 9 years ago
- Reverts the php-ast AST back into (somewhat) PSR-compliant code☆52Updated 6 years ago
- PHP Fuzz testing framework☆28Updated 13 years ago
- APISan: Sanitizing API Usages through Semantic Cross-Checking☆63Updated 3 years ago
- Path based Dynamic Analysis☆115Updated 8 years ago
- A combined runtime/static code-analysis tool, that can trace parameter types☆83Updated last year
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆40Updated 3 years ago
- Python utilities for joern☆36Updated 6 years ago
- Static analysis using data-flow and type inference for PHP applications - Implemented in Scala☆76Updated 11 years ago
- Tool for detecting error handling bugs☆22Updated 8 years ago
- OWASP WAP - Web Application Protection Project☆11Updated 5 years ago
- TamiFlex facilitates static analysis of programs that use reflection and custom class loaders☆42Updated 3 years ago
- A static analysis engine☆171Updated 9 years ago
- Parser utility to generate ASTs from PHP source code suitable to be processed by Joern.☆17Updated 6 years ago