program-slicing

There are 3 repositories under program-slicing topic.

• staticafi / symbiotic

  Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE

  verificationverification-toolchainsymbolic-executionprogram-slicingslicingkleellvminstrumentationslicellvm-irprogram-verificationsoftware-verification
  Language:Python 307

• mistupv / JavaSlicer

  A program slicer for Java, based on the system dependence graph (SDG).

  program-slicingsdgslicerdependence-graphstatic-analysis
  Language:Java 53
• fluid

  explorable-viz / fluid

  Data-linked visualisations

  data-visualizationdependency-analysisopen-scienceprogram-slicingprovenance
  Language:PureScript 33
• flowr

  flowr-analysis / flowr

  A program slicer and dataflow analyzer for the R programming language.

  dataflow-analysisprogram-slicingrstatic-analyzerstatic-program-analysis
  Language:TypeScript 15

• sdasgup3 / llvm-slicer

  Static Slicer for LLVM 3.5

  llvmprogram-slicing
  Language:Shell 13

• devos50 / astana

  A string deobfuscator for Android applications using backwards program slicing

  androiddeobfuscatorstringjavaprogram-slicing
  Language:Java 11

• rvprasad / Indus_archive

  A program analysis and slicing library for concurrent Java.

  javaprogram-analysisprogram-slicingeclipse-pluginstatic-analysiseclipse
  Language:Java 9

• projectbtle / UUID-Extractor

  Androguard-based program slicing tool to extract Bluetooth Low Energy UUIDs from Android APKs.

  androguardprogram-slicingbluetooth-low-energybluetooth-lebleapksuuid-extraction
  Language:Python 6

• ragavik / automated-fault-localization

  Automated test case purification for improving fault localization

  automated-program-repairfault-localizationprogram-slicingjunitdefects4j
  Language:R 5

• sdasgup3 / giri

  Giri: Dynamic Program Slicing in LLVM

  program-slicingllvm
  Language:Shell 4

• user-group / unravel

  Unravel program slicer version 2.3

  program-slicingc
  Language:C 4

• waingram / python-program-slicing

  Final project code for CS 6704: Topics in Automated Testing and Debugging for Emerging Domains, Fall 2021, Virginia Tech

  program-slicing
  Language:Jupyter Notebook 3

• m-zakeri / SBSRE

  SBSRE is an eclipse plugin for extract method refactoring based on the single responsibility principle(SRP)

  refactoringsoftware-engineeringsingle-responsibility-principlelong-methodextract-methodcompilerprogram-slicing
  Language:Java 2

• mistupv / EDG

  The Expression Dependence Graph, a data structure for program slicing that improves upon the System Dependence Graph.

  program-slicingsdgstatic-analysisedg
  Language:Java 2

• maxfie1d / srcslice-fork

  SRCSLICE FORK

  program-slicingstatic-analysis
  Language:C++ 1

• roachspray / acsac17wip

  My ACSAC 2017 WIP Material

  llvmaflafl-fuzzllvm-irprogram-slicingfuzzingresearch
  Language:C 1

• ruudkoot / program-slicer-php

  Program slicer for PHP

  program-slicingphp
  Language:Haskell 1

• codingforkind / mirror

  A tool set for Java program slicing.

  javaprogram-slicingabstract-syntax-treejava-development-toolsmavenchange-impact-analyisstatic-code-analysisdependence-graph
  Language:Java 0

• jaredkhan / Caramel

  A program dependence graph and program slicer for the Swift programming language

  program-slicingpdgcfgswiftstatic-code-analysisstatic-analysisswift4slicing
  Language:Swift 0

• mmoschenskikh / dynamic-program-slicing-russian

  Russian translation (excerpts) of 1990 «Dynamic Program Slicing» article by Hiralal Agrawal and Joseph Robert Horgan

  program-analysisprogram-slicingtranslationdynamic-program-slicingslicing
  0

• SwathiSBhat / Static-program-analysis-techniques

  Implementation of different forms of static program analysis techniques

  andersen-analysiscontrol-flow-analysisprogram-analysisprogram-slicingreaching-definition-analysistaint-analysisstatic-program-analysis
  Language:C++ 0

• TomasBeranek / but-masters-thesis

  Master's Thesis - Evaluating Reliability of Static Analysis Results Using Machine Learning

  code-property-graphd2agraph-neural-networksmachine-learningstatic-analysisvulnerability-detectionbut-fitdgjoernneo4jprogram-slicingllvm-linkllvm2cpgmeta-inferllvm-slicer
  Language:TeX

• toukir-ahammed / program-slicer-plugin

  An Eclipse Plugin for Java Static Program Slicing

  program-slicingeclipse-plugin
  Language:Java