fasten-project / fasten

Related projects ⓘ

Alternatives and complementary repositories for fasten

• SAP / project-kb
  Home page of project "KB"
  ☆113Updated 3 weeks ago
• Fraunhofer-AISEC / codyze
  Codyze is a static analyzer for Java, C, C++ based on code property graphs
  ☆87Updated this week
• plast-lab / doop
  The official repo of Doop, the declarative pointer analysis framework.
  ☆164Updated this week
• Fraunhofer-AISEC / cpg
  A library to extract Code Property Graphs from C/C++, Java, Go, Python, Ruby and every other language through LLVM-IR.
  ☆286Updated this week
• mistupv / JavaSlicer
  A program slicer for Java, based on the system dependence graph (SDG).
  ☆58Updated last year
• STAMP-project / botsing
  Botsing is a Java framework for crash reproduction. It depends on EvoSuite (http://www.evosuite.org) for code instrumentation.
  ☆32Updated last year
• ASSERT-KTH / sorald
  Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033
  ☆90Updated 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…
  ☆92Updated last week
• soot-oss / heros
  IFDS/IDE Solver for Soot and other frameworks
  ☆232Updated last year
• diverse-project / maven-miner
  This projects mines maven central and creates a global dependency graph
  ☆31Updated 2 years ago
• wogscpar / SZZUnleashed
  An implementation of the SZZ algorithm, i.e., an approach to identify bug-introducing commits.
  ☆110Updated last year
• ShiftLeftSecurity / overflowdb
  ShiftLeft OverflowDB
  ☆112Updated 4 months ago
• CodeShield-Security / SPDS
  Efficient and Precise Pointer-Tracking Data-Flow Framework
  ☆66Updated 8 months ago
• SpoonLabs / astor
  Automatic program repair for Java with generate-and-validate techniques : jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepai…
  ☆207Updated 3 months ago
• wala / WALA-start
  a basic Gradle configuration to get started with WALA
  ☆28Updated last month
• STAMP-project / test-runner
  test driver to run JUnit tests isolated in a new JVM
  ☆16Updated 2 weeks ago
• daanvdh / JavaDataFlow
  Creating Data Flow Graphs from java input classes
  ☆44Updated 5 months ago
• ghaffarian / progex
  PROGEX (Program Graph Extractor); a cross platform tool for extracting graphical program representations from software source code
  ☆83Updated 3 years ago
• electricalwind / data7
  A vulnerability patch gathering tool
  ☆40Updated 5 years ago
• find-sec-bugs / juliet-test-suite
  A collection of test cases in the Java language. It contains examples for 112 different CWEs.
  ☆52Updated 3 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…
  ☆70Updated last month
• resess / Slicer4J
  Slicer4J is an accurate, low-overhead dynamic slicer for Java programs.
  ☆39Updated 9 months ago
• program-repair / RepairThemAll
  Automatic Repair Framework that abstract repair tools and bug benchmarks
  ☆68Updated last year
• ASSERT-KTH / flacoco
  FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513
  ☆29Updated this week
• psycopaths / jdart
  A dynamic symbolic analysis tool for Java
  ☆114Updated 5 years ago
• ASSERT-KTH / assert-gold-mine
  This is an informal repo for ASSERT teammates to share awesome stuff.
  ☆20Updated 3 weeks ago
• wala / ML
  ☆25Updated this week
• ShiftLeftSecurity / codepropertygraph
  Code Property Graph: specification, query language, and utilities
  ☆464Updated 2 weeks ago
• 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…
  ☆71Updated 3 weeks ago
• SymbolicPathFinder / jpf-symbc
  Symbolic PathFinder
  ☆130Updated last month