Alternatives and similar repositories for fasten:

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

• Fraunhofer-AISEC / codyze
  Codyze is a static analyzer for Java, C, C++ based on code property graphs
  ☆88Updated last month
• SAP / project-kb
  Home page of project "KB"
  ☆119Updated this week
• ShiftLeftSecurity / overflowdb
  ShiftLeft OverflowDB
  ☆118Updated 8 months ago
• diverse-project / maven-miner
  This projects mines maven central and creates a global dependency graph
  ☆32Updated 2 years ago
• plast-lab / doop
  The official repo of Doop, the declarative pointer analysis framework.
  ☆173Updated this week
• 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 4 months ago
• Fraunhofer-AISEC / cpg
  A library to extract Code Property Graphs from C/C++, Java, Go, Python, Ruby and every other language through LLVM-IR.
  ☆304Updated this week
• SpoonLabs / coming
  A tool for mining commits from Git repositories and diffs to automatically extract code change pattern instances and features with ast a…
  ☆95Updated 4 months ago
• wala / WALA-start
  Basic Gradle configuration and example drivers to get started with WALA
  ☆29Updated 3 months ago
• mistupv / JavaSlicer
  A program slicer for Java, based on the system dependence graph (SDG).
  ☆65Updated last year
• ghaffarian / progex
  PROGEX (Program Graph Extractor); a cross platform tool for extracting graphical program representations from software source code
  ☆85Updated 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
• wala / ML
  ☆26Updated 2 weeks ago
• soot-oss / heros
  IFDS/IDE Solver for Soot and other frameworks
  ☆240Updated last year
• pietrobraione / jbse
  A symbolic Java virtual machine for program analysis, verification and test generation
  ☆108Updated last month
• SAP / risk-explorer-for-software-supply-chains
  A taxonomy of attacks on software supply chains in the form of an attack tree, based on and linked to numerous real-world incidents and o…
  ☆75Updated last month
• joana-team / joana
  Joana - Information Flow Control for Java
  ☆92Updated 3 years ago
• vuduclyunitn / software_supply_chain_papers
  This repository contains a list of papers about software supply chain
  ☆26Updated 9 months ago
• microsoft / sarif-vscode-extension
  SARIF Microsoft Visual Studio Code extension
  ☆113Updated 4 months ago
• daanvdh / JavaDataFlow
  Creating Data Flow Graphs from java input classes
  ☆48Updated 8 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
• STAMP-project / test-runner
  test driver to run JUnit tests isolated in a new JVM
  ☆16Updated 3 months ago
• ASSERT-KTH / sorald
  Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033
  ☆93Updated 2 weeks ago
• srcclr / efda
  Evaluation Framework for Dependency Analysis (EFDA)
  ☆43Updated 2 years ago
• resess / Slicer4J
  Slicer4J is an accurate, low-overhead dynamic slicer for Java programs.
  ☆42Updated last year
• ossf-cve-benchmark / ossf-cve-benchmark
  The OpenSSF CVE Benchmark consists of code and metadata for over 200 real life CVEs, as well as tooling to analyze the vulnerable codebas…
  ☆141Updated last year
• opalj / opal
  ☆56Updated last week
• ASSERT-KTH / flacoco
  FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513
  ☆29Updated last week
• CROSSINGTUD / CryptoAnalysis
  CogniCrypt_SAST: CrySL-to-Static Analysis Compiler
  ☆71Updated last week
• ShiftLeftSecurity / codepropertygraph
  Code Property Graph: specification, query language, and utilities
  ☆491Updated last week