m-zakeri / CodART

Related projects ⓘ

Alternatives and complementary repositories for CodART

• SunLab-GMU / PatchDB
  The public dataset in the paper "PatchDB: A Large-Scale Security Patch Dataset". This paper appears in the 51st Annual IEEE/IFIP Interna…
  ☆37Updated last year
• dcoimbra / dx2021
  Replication code for the paper "On using distributed representations of source code for the detection of C security vulnerabilities"
  ☆9Updated 2 years ago
• grimm-co / delta-debugging
  Debugging library to quickly get the minimal crashing test case
  ☆34Updated 6 years ago
• rebibabo / static_program_analysis_by_tree_sitter
  ☆12Updated 8 months ago
• fabsx00 / python-joern
  A python interface to joern (deprecated).
  ☆34Updated 6 years ago
• WM-SEMERU / ACER
  ACER is an AST-based Callgraph Generator Development Framework
  ☆28Updated 5 months ago
• bstee615 / tree-climber
  Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).
  ☆38Updated 8 months ago
• m-zakeri / iust_deep_fuzz
  Advanced file format fuzzer based-on deep neural language models.
  ☆40Updated last year
• code-desc / CoDesc
  A large dataset of 4.2m Java source code and parallel data of their description from code search, and code summarization studies.
  ☆13Updated 2 years ago
• mxz297 / Incremental-CFG-Patching-ASPLOS21-AE
  Software artifact for incremental CFG patching paper appearing in ASPLOS 21
  ☆12Updated last year
• mxz297 / dyninst-tools
  A collection of command-line tools based on Dyninst
  ☆16Updated 3 years ago
• bin2415 / llvm_CFGPass
  llvm control flow graph
  ☆26Updated 5 years ago
• LPhD / Jess
  Jess is short for Joern extended by Semantic Slicing. This tool allows you to import C code into a Code Property Graph, and then compute …
  ☆15Updated 6 months ago
• CGCL-codes / HistFuzz
  A practical fuzzing tool for SMT solvers
  ☆11Updated 3 months ago
• kppw99 / AutoVAS
  AutoVAS is an automated vulnerability analysis system with a deep learning approach.
  ☆35Updated 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…
  ☆16Updated 8 months ago
• Fraunhofer-AISEC / codyze
  Codyze is a static analyzer for Java, C, C++ based on code property graphs
  ☆87Updated this week
• dkarv / jdcallgraph
  JDCallgraph - Dynamic call graph generation for Java.
  ☆19Updated 4 years ago
• mustakimur / CFI-LB
  Adaptive Callsite-sensitive Control Flow Integrity - EuroS&P'19
  ☆21Updated last year
• agwaBom / AsmDepictor
  Official implementation of AsmDepictor, "A Transformer-based Function Symbol Name Inference Model from an Assembly Language for Binary Re…
  ☆18Updated 6 months ago
• ShiftLeftSecurity / fuzzyc2cpg
  A fuzzy parser for C/C++ that creates semantic code property graphs
  ☆35Updated 4 years ago
• unibuc-cs / river
  Fuzz testing framework for binary programs using AI
  ☆49Updated last year
• eth-sri / learch
  ☆39Updated last year
• br0kej / FASER
  Cross-Architecture Function Similarity Search Model - https://arxiv.org/abs/2310.03605
  ☆10Updated last year
• nettrino / slowfuzz
  ☆50Updated 6 years ago
• hmc-alpaqa / metrinome
  Create CFGs and compute complexity metrics for Python, C++, and Java code.
  ☆41Updated 6 months ago
• VulDeeLocator / VulDeeLocator
  ☆88Updated 3 weeks ago
• ratfink417 / pba_patches
  As I work thought the book "Practical Binary Analysis" by Dennis Andriesse, https://practicalbinaryanalysis.com/ I try to make editions f…
  ☆11Updated 3 years ago
• uds-se / pFuzzer
  The parser-directed Fuzzer
  ☆38Updated 4 years ago