Alternatives and similar repositories for MemSAT

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

• wala / ML
  ☆26Updated this week
• joernio / standalone-ext
  Minimal example of a standalone program that depends on Joern
  ☆10Updated 5 months ago
• isstac / spf-wca
  Tool for algorithmic complexity analysis based on symbolic execution
  ☆10Updated 6 years ago
• codersguild / Software-Analysis-PAVT
  Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework…
  ☆37Updated 2 years ago
• cuplv / hopper
  Goal-directed static analysis tool for JVM languages.
  ☆58Updated 9 years ago
• SatelliteApplicationsCatapult / tribble
  Coverage based JVM Fuzz testing tool.
  ☆20Updated 5 years ago
• ksen007 / janala2
  a concolic testing engine for Java
  ☆106Updated 7 years ago
• joernio / joernti-codetidal5
  An integration of JoernTI's CodeTIDAL5 neural type inference model.
  ☆25Updated 5 months ago
• ShiftLeftSecurity / overflowdb
  ShiftLeft OverflowDB
  ☆126Updated last month
• hbgit / Map2Check
  Map2Check: Finding Software Vulnerabilities
  ☆29Updated 4 years ago
• cuplv / thresher
  Static heap reachability analysis for Java bytecode and Android memory leak finder.
  ☆32Updated 10 years ago
• cmu-pasta / mu2
  Mutation-guided mutation-based fuzz testing
  ☆46Updated last year
• nradov / abnffuzzer
  Java fuzz testing library for implementations of ABNF rules such as IETF RFCs
  ☆33Updated 9 months ago
• opalj / opal
  ☆63Updated last week
• m-zakeri / CodART
  Source Code Automated Refactoring Toolkit
  ☆35Updated last month
• amaurremi / IDE
  Interprocedural Distributive Environment algorithm implementation
  ☆16Updated 10 years ago
• LFrobeen / intellij-datalog
  ☆32Updated 3 years ago
• SecurityLab-UCD / LLAMAFUZZ
  Fine-tuning a LLM for generating the structured data
  ☆23Updated 7 months ago
• dsfuzz / mallory
  Greybox Fuzzing of Distributed Systems (CCS'23)
  ☆50Updated last year
• CROSSINGTUD / SPDS
  Efficient and Precise Pointer-Tracking Data-Flow Framework
  ☆40Updated 4 years ago
• ShiftLeftSecurity / fuzzyc2cpg
  A fuzzy parser for C/C++ that creates semantic code property graphs
  ☆36Updated 4 years ago
• WM-SEMERU / ACER
  ACER is an AST-based Callgraph Generator Development Framework
  ☆36Updated last year
• joana-team / joana
  Joana - Information Flow Control for Java
  ☆92Updated 3 years ago
• psycopaths / jdart
  A dynamic symbolic analysis tool for Java
  ☆120Updated 6 years ago
• AdaLogics / paper-analyser
  ☆23Updated 4 years ago
• CROSSINGTUD / CryptoAnalysis
  CogniCrypt_SAST: CrySL-to-Static Analysis Compiler
  ☆75Updated last week
• plast-lab / doop
  The official repo of Doop, the declarative pointer analysis framework.
  ☆180Updated last month
• dkarv / jdcallgraph
  JDCallgraph - Dynamic call graph generation for Java.
  ☆19Updated 4 years ago
• benjholla / ddmin
  A generic Java implementation of Andreas Zeller's delta debugging algorithm
  ☆24Updated 8 years ago
• dslab-epfl / cloud9
  The Cloud9 main repository
  ☆52Updated 11 years ago