cwi-swat / php-analysis

Related projects: ⓘ

• oliverklee / pixy
  Pixy is a scanner static code analysis tools that scans PHP applications for security vulnerabilities.
  ☆132Updated 8 months ago
• ircmaxell / php-cfg
  A Control Flow Graph implementation in PHP
  ☆244Updated 3 months ago
• olivo / TaintPHP
  Taint Analysis for PHP
  ☆44Updated 8 years ago
• vesuppi / Garcon
  ☆24Updated this week
• z3str / Z3-str
  A Z3-Based String Constraint Solver
  ☆87Updated 4 years ago
• Lixody / Eir
  Eir is a static vulnerability analysis tool for PHP applications written in C#
  ☆20Updated 6 years ago
• ax330d / pvt
  PHP extension for web-application dynamic analysis.
  ☆27Updated 5 years ago
• nikic / Phuzzy
  Fuzzer for PHP internal functions
  ☆31Updated 12 years ago
• codelion / pathgrind
  Path based Dynamic Analysis
  ☆112Updated 7 years ago
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆96Updated 3 years ago
• troelskn / phpweaver
  A combined runtime/static code-analysis tool, that can trace parameter types
  ☆83Updated last year
• colder / phantm
  Static analysis using data-flow and type inference for PHP applications - Implemented in Scala
  ☆76Updated 11 years ago
• olivo / side-channel-analyzer
  Static Analysis for Detecting Side-Channel Vulnerabilities in PHP applications (Work-In-Progress)
  ☆15Updated 7 years ago
• lt / php-cryptopals
  The Matasano crypto challenges completed using PHP
  ☆25Updated 8 years ago
• krakjoe / inspector
  Disassembler and Debug Kit for PHP 7
  ☆55Updated 5 years ago
• wooknight / phpcallgraph
  A Call Graph Generator for PHP
  ☆37Updated 2 years ago
• ShiftLeftSecurity / fuzzyc2cpg
  A fuzzy parser for C/C++ that creates semantic code property graphs
  ☆35Updated 3 years ago
• ircmaxell / php-security-scanner
  A static security scanner for PHP
  ☆96Updated 9 years ago
• asrulhadi / wap
  OWASP WAP - Web Application Protection Project
  ☆11Updated 5 years ago
• ircmaxell / php-types
  A PHP Type reconstruction library
  ☆36Updated 5 years ago
• boogie-org / symbooglix
  Symbolic Execution Engine for Boogie
  ☆28Updated 2 years ago
• KnowSciEng / doop
  Doop - Framework for Java Pointer and Taint Analysis
  ☆17Updated 5 years ago
• ircmaxell / php-ast-visualizer
  An AST visualizer, for PHP
  ☆75Updated 3 months ago
• httpoxy / php-fpm-httpoxy-poc
  A PoC for exploiting Guzzle's HTTP_PROXY untrusted read
  ☆53Updated 8 years ago
• secure-software-engineering / soot-infoflow
  ☆95Updated this week
• mayflower / Bytekit
  Bytekit is a PHP extension that provides a userspace representation of the opcodes generated by the Zend engine compiler built into PHP.
  ☆19Updated 13 years ago
• tech-srl / esh
  statistical similarity of binaries (Esh)
  ☆73Updated 8 years ago
• psecio / versionscan
  A PHP version scanner for reporting possible vulnerabilities
  ☆254Updated 4 years ago
• diffoperator / Sypy
  A symbolic execution engine for Python
  ☆45Updated 11 years ago
• octopus-platform / joern-tools
  Python utilities for joern
  ☆35Updated 5 years ago