program-slicing

Here are 19 public repositories matching this topic...

staticafi / symbiotic

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

llvm verification symbolic-execution instrumentation slice program-verification software-verification klee slicing llvm-ir verification-toolchain program-slicing

Updated Aug 22, 2022
Python

mistupv / JavaSlicer

Star

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

static-analysis dependence-graph sdg slicer program-slicing

Updated Jul 27, 2022
Java

sdasgup3 / llvm-slicer

Star

Static Slicer for LLVM 3.5

llvm program-slicing

Updated Apr 10, 2016
Shell

explorable-viz / fluid

Star

Functional interactive dataflow

dependency-analysis data-visualization provenance program-slicing

Updated Sep 5, 2022
PureScript

rvprasad / Indus_archive

Star

A program analysis and slicing library for concurrent Java.

java eclipse static-analysis eclipse-plugin program-analysis program-slicing

Updated Oct 22, 2019
Java

devos50 / astana

Star

A string deobfuscator for Android applications using backwards program slicing

android java string deobfuscator program-slicing

Updated Aug 10, 2019
Java

sdasgup3 / giri

Star

Giri: Dynamic Program Slicing in LLVM

llvm program-slicing

Updated Jan 16, 2016
Shell

ragavik / automated-fault-localization

Star

Automated test case purification for improving fault localization

junit fault-localization defects4j automated-program-repair program-slicing

Updated Dec 7, 2018
R

projectbtle / UUID-Extractor

Star

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

ble bluetooth-low-energy bluetooth-le androguard apks program-slicing uuid-extraction

Updated Feb 9, 2020
Python

m-zakeri / SBSRE

Star

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

refactoring compiler software-engineering single-responsibility-principle program-slicing long-method extract-method

Updated Aug 16, 2022
Java

waingram / python-program-slicing

Star

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

program-slicing

Updated Dec 13, 2021
Jupyter Notebook

user-group / unravel

Star

Unravel program slicer version 2.3

c program-slicing

Updated Aug 1, 2020
C

maxfie1d / srcslice-fork

Star

SRCSLICE FORK

static-analysis program-slicing

Updated Apr 28, 2018
C++

ruudkoot / program-slicer-php

Star

Program slicer for PHP

php program-slicing

Updated Feb 26, 2017
Haskell

mistupv / EDG

Star

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

static-analysis sdg program-slicing edg

Updated Jun 29, 2022
Java

codingforkind / mirror

Star

A tool set for Java program slicing.

java maven static-code-analysis dependence-graph abstract-syntax-tree program-slicing java-development-tools change-impact-analyis

Updated Oct 10, 2018
Java

roachspray / acsac17wip

Star

My ACSAC 2017 WIP Material

research llvm fuzzing afl afl-fuzz llvm-ir program-slicing

Updated Nov 2, 2020
C

toukir-ahammed / program-slicer-plugin

Star

An Eclipse Plugin for Java Static Program Slicing

eclipse-plugin program-slicing

Updated Dec 17, 2019
Java

jaredkhan / Caramel

Star

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

swift static-code-analysis static-analysis cfg slicing swift4 pdg program-slicing

Updated Jun 13, 2018
Swift

Improve this page

Add a description, image, and links to the program-slicing topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the program-slicing topic, visit your repo's landing page and select "manage topics."

Learn more

Aug	SEP	Oct
	05
2021	2022	2023