Alternatives and similar repositories for codyze:

Users that are interested in codyze are comparing it to the libraries listed below

• Barro / java-afl
  Binary rewriting approach with fork server support to fuzz Java applications with afl-fuzz.
  ☆90Updated 6 years ago
• plume-oss / plume
  Plume is a code representation benchmarking library with options to extract the AST from Java bytecode and store the result in various gr…
  ☆73Updated 5 months ago
• find-sec-bugs / juliet-test-suite
  A collection of test cases in the Java language. It contains examples for 112 different CWEs.
  ☆53Updated 3 years ago
• secure-software-engineering / secucheck
  Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…
  ☆17Updated last month
• CodeShield-Security / SPDS
  Efficient and Precise Pointer-Tracking Data-Flow Framework
  ☆66Updated 3 months ago
• wala / WALA-start
  Basic Gradle configuration and example drivers to get started with WALA
  ☆29Updated 3 months ago
• secure-software-engineering / COVA
  COVA - A static analysis tool to compute path conditions
  ☆32Updated 2 years ago
• SAP / project-kb
  Home page of project "KB"
  ☆119Updated this week
• malteskoruppa / phpjoern
  Parser utility to generate ASTs from PHP source code suitable to be processed by Joern.
  ☆35Updated 4 years ago
• too4words / securibench-micro
  Securibench Micro is a benchmark for static analysis tools for security.
  ☆26Updated 6 years ago
• soot-oss / heros
  IFDS/IDE Solver for Soot and other frameworks
  ☆240Updated last year
• plast-lab / doop
  The official repo of Doop, the declarative pointer analysis framework.
  ☆173Updated this week
• Fraunhofer-AISEC / cpg-neo4j
  Neo4J visualisation tool for the Code Property Graph
  ☆14Updated 3 years ago
• isstac / kelinci
  AFL-based fuzzing for Java
  ☆235Updated 5 years ago
• fasten-project / fasten
  Analyse package dependency networks at the call graph level
  ☆92Updated last year
• CodeShield-Security / Serverless-Goat-Java
  Java version of the deliberately vulnerable serverless application Serverless-Goat from https://github.com/OWASP/Serverless-Goat
  ☆12Updated 3 years ago
• CROSSINGTUD / CryptoAnalysis
  CogniCrypt_SAST: CrySL-to-Static Analysis Compiler
  ☆71Updated last week
• joana-team / joana
  Joana - Information Flow Control for Java
  ☆92Updated 3 years ago
• Leo0426 / WALA-improve
  Study WALA and static code analysis . This project introduces the required knowledge and study roadmap.
  ☆21Updated 4 years ago
• psycopaths / jdart
  A dynamic symbolic analysis tool for Java
  ☆116Updated 5 years ago
• QilinPTA / Qilin
  Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis
  ☆128Updated last month
• NUS-Curiosity / VulZoo
  VulZoo: A Comprehensive Vulnerability Intelligence Dataset (ASE 2024 Demo)
  ☆34Updated 4 months ago
• wimkeir / graft
  A static analysis tool for Java programs, based on the theory of code property graphs.
  ☆18Updated last year
• KnowSciEng / doop
  Doop - Framework for Java Pointer and Taint Analysis
  ☆18Updated 6 years ago
• Song-Li / ObjLupAnsys
  ObjLupAnsys is a tool to detect prototype pollution vulnerabilities in Node.js packages. This project is written in Python and JavaScript…
  ☆22Updated 3 years ago
• cdaller / security_taint_propagation
  Java taint propagation for java. Define tainted sources, sanitizer methods and sinks via aspects.
  ☆28Updated 6 years ago
• fast-sp-2023 / fast
  ☆26Updated last year
• testable-eu / sast-testability-patterns
  Testability Pattern Catalogs for SAST
  ☆29Updated 3 weeks ago
• CGCL-codes / SCVDT
  Source Code Vulnerability Detection Tools（SCVDT）provides a vulnerable code database, vulnerability detection service for Java and C/C++ p…
  ☆113Updated 3 years ago
• Aurore54F / HideNoSeek
  Static data flow-based analysis of JavaScript files to detect syntactic clones
  ☆23Updated 4 years ago