Alternatives and similar repositories for svfa-scala

Users that are interested in svfa-scala are comparing it to the libraries listed below

• spgroup / conflict-static-analysis

  View on GitHub
  ☆15Dec 16, 2025Updated 2 months ago
• PAMunb / JimpleFramework

  View on GitHub
  A Rascal implementation of the Jimple framework.
  ☆13Apr 2, 2022Updated 3 years ago
• UnitTestBot / klee

  View on GitHub
  KLEEF Symbolic Execution Engine
  ☆22Aug 4, 2025Updated 6 months ago
• amaurremi / IDE

  View on GitHub
  Interprocedural Distributive Environment algorithm implementation
  ☆16Jul 16, 2015Updated 10 years ago
• 95616ARG / pikos_popl2020

  View on GitHub
  Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation
  ☆16Aug 24, 2020Updated 5 years ago
• OWASP / www-project-benchmark

  View on GitHub
  OWASP Foundation Web Respository
  ☆19Feb 9, 2026Updated last week
• mlfbrown / sys2

  View on GitHub
  Sys, but no longer in Haskell
  ☆19Mar 14, 2022Updated 3 years ago
• too4words / securibench-micro

  View on GitHub
  Securibench Micro is a benchmark for static analysis tools for security.
  ☆26Jul 26, 2018Updated 7 years ago
• rwl / llvm-j

  View on GitHub
  Java bindings for LLVM libraries
  ☆31Jun 9, 2013Updated 12 years ago
• YuichiSemura / CCFinderSW

  View on GitHub
  a token-based code clone detection tool
  ☆29Jan 10, 2023Updated 3 years ago
• Xidian-ICTT-GZ / Academic_Blog

  View on GitHub
  软件工程与形式化方法相关前沿工作阅读与分享
  ☆36Oct 27, 2025Updated 3 months ago
• ChunghaSung / intAbs

  View on GitHub
  Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".
  ☆11May 20, 2019Updated 6 years ago
• secure-software-engineering / COVA

  View on GitHub
  COVA - A static analysis tool to compute path conditions
  ☆40Jul 12, 2025Updated 7 months ago
• ricardojlrufino / cplus-libparser

  View on GitHub
  C++ Source metadata extractor using Eclipse CDT Parser
  ☆38Jul 8, 2015Updated 10 years ago
• happyincent / Functional-Programming-in-C

  View on GitHub
  https://hackmd.io/s/r1SgsdF3X
  ☆10Dec 21, 2018Updated 7 years ago
• isstac / spf-wca

  View on GitHub
  Tool for algorithmic complexity analysis based on symbolic execution
  ☆10Sep 17, 2018Updated 7 years ago
• Inception-framework / translator

  View on GitHub
  A framework for lifting ARM32 to LLVM-IR and merging resulting code with LLVM-IR generated from source-code.
  ☆12Oct 20, 2022Updated 3 years ago
• fengcc / ProgramSlicing

  View on GitHub
  Simply C program slicing tool in C
  ☆10Jun 19, 2015Updated 10 years ago
• PurduePL / purduepl.github.io

  View on GitHub
  A blog of Programming Languages Group @Purdue
  ☆11Feb 9, 2026Updated last week
• k6ymaker / NJU-static-program-analysis-node

  View on GitHub
  ☆11Mar 19, 2022Updated 3 years ago
• cuplv / dai

  View on GitHub
  DAI: Demanded Abstract Interpretation
  ☆16Sep 23, 2024Updated last year
• DragonL / YAC6xSim

  View on GitHub
  Yet another implementation of TI C6x DSP simulator
  ☆12Jan 16, 2014Updated 12 years ago
• microsoft / NeuralInvariantRanker

  View on GitHub
  Ranking LLM-Generated Loop Invariants for Program Verification.
  ☆12Aug 20, 2024Updated last year
• CROSSINGTUD / SPDS

  View on GitHub
  Efficient and Precise Pointer-Tracking Data-Flow Framework
  ☆41Jul 8, 2021Updated 4 years ago
• davidtr1037 / chopper

  View on GitHub
  KLEE / CSE Project
  ☆48Apr 3, 2020Updated 5 years ago
• streambuf / bank_web_application

  View on GitHub
  Java, Spring MVC, Oracle
  ☆12Sep 6, 2015Updated 10 years ago
• ybonjour / Data-Flow-Analysis

  View on GitHub
  ☆10Aug 16, 2012Updated 13 years ago
• tomasbjerre / violation-comments-lib

  View on GitHub
  Library for commenting things with violations from static code analysis.
  ☆12Oct 7, 2025Updated 4 months ago
• Samska / gen-ai-robot-test

  View on GitHub
  E2E, API and Visual Tests with Robot Framework, SeleniumLib, RequestsLib, EyesLib and FakerLib
  ☆15Apr 24, 2024Updated last year
• bhumbers / optcomp

  View on GitHub
  CMU 15-745 Spring 2014
  ☆10Mar 7, 2014Updated 11 years ago
• swissiety / JimpleLSP

  View on GitHub
  This is an implementation of the Language Server Protocol for Jimple. It enables your IDE to provide code exploring features while workin…
  ☆12Dec 15, 2023Updated 2 years ago
• 92ganesh / Moss-Plagarism-Checker

  View on GitHub
  compare software similarity using MOSS
  ☆11Jun 23, 2019Updated 6 years ago
• patrick-petrovic / visualDFA

  View on GitHub
  VisualDFA is a sophisticated educational tool for interactively visualizing data-flow analyses using Java/Jimple.
  ☆12Sep 14, 2017Updated 8 years ago
• djokicx / smart-lease-contract

  View on GitHub
  Solidity-based, smart lease agreement contract.
  ☆12Jun 24, 2019Updated 6 years ago
• secure-software-engineering / ideal

  View on GitHub
  IDE/AL - Alias-Aware Framework for Interprocedural Dataflow Analysis
  ☆10Mar 10, 2018Updated 7 years ago
• vhscampos / range-analysis

  View on GitHub
  Static range analysis for the LLVM compiler infrastructure.
  ☆56Oct 8, 2019Updated 6 years ago
• ZixiBenZhang / ml4dv

  View on GitHub
  LLM4DV
  ☆16Sep 30, 2024Updated last year
• D0n9 / paper-archive

  View on GitHub
  ☆12Feb 22, 2024Updated last year
• jar0s / reactNative-babel-wla

  View on GitHub
  White label mobile app with React Native and Babel
  ☆16May 10, 2024Updated last year