Topic: "program-slicing"
staticafi/symbiotic
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
Language: Python - Size: 2.13 MB - Last synced at: 24 days ago - Pushed at: 24 days ago - Stars: 320 - Forks: 57
flowr-analysis/flowr
A static program analyzer and dataflow analysis framework for the R programming language.
Language: TypeScript - Size: 16.5 MB - Last synced at: about 16 hours ago - Pushed at: 2 days ago - Stars: 47 - Forks: 6
mistupv/JavaSlicer
A program slicer for Java, based on the system dependence graph (SDG).
Language: Java - Size: 1.8 MB - Last synced at: about 1 year ago - Pushed at: almost 2 years ago - Stars: 43 - Forks: 17
explorable-viz/fluid
Data-linked visualisations
Language: JavaScript - Size: 58.1 MB - Last synced at: 2 days ago - Pushed at: 10 days ago - Stars: 41 - Forks: 4
sdasgup3/llvm-slicer Fork of jirislaby/LLVMSlicer
Static Slicer for LLVM 3.5
Language: Shell - Size: 689 KB - Last synced at: 9 months ago - Pushed at: about 9 years ago - Stars: 13 - Forks: 3
rvprasad/Indus_archive 📦
A program analysis and slicing library for concurrent Java.
Language: Java - Size: 96.3 MB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 9 - Forks: 0
devos50/astana
A string deobfuscator for Android applications using backwards program slicing
Language: Java - Size: 252 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 5 - Forks: 0
waingram/python-program-slicing
Final project code for CS 6704: Topics in Automated Testing and Debugging for Emerging Domains, Fall 2021, Virginia Tech
Language: Jupyter Notebook - Size: 58.6 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 1
ragavik/automated-fault-localization Fork of jithinjohn7/FaultLocalizationResearch
Automated test case purification for improving fault localization
Language: R - Size: 18.8 MB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 3 - Forks: 1
sdasgup3/giri Fork of liuml07/giri
Giri: Dynamic Program Slicing in LLVM
Language: Shell - Size: 2.29 MB - Last synced at: over 1 year ago - Pushed at: over 9 years ago - Stars: 3 - Forks: 0
m-zakeri/SBSRE Fork of Alireza-Ardalani/SBSRE
SBSRE is an eclipse plugin for extract method refactoring based on the single responsibility principle(SRP)
Language: Java - Size: 1.3 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 2 - Forks: 0
mistupv/EDG
The Expression Dependence Graph, a data structure for program slicing that improves upon the System Dependence Graph.
Language: Java - Size: 11 MB - Last synced at: about 1 year ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 0
user-group/unravel
Unravel program slicer version 2.3
Language: C - Size: 912 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 1
roachspray/acsac17wip
My ACSAC 2017 WIP Material
Language: C - Size: 6.2 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 3
maxfie1d/srcslice-fork
SRCSLICE FORK
Language: C++ - Size: 1.08 MB - Last synced at: 4 months ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 0
ruudkoot/program-slicer-php
Program slicer for PHP
Language: Haskell - Size: 6.79 MB - Last synced at: about 2 years ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 0
TomasBeranek/IRank
Master's Thesis - Evaluating Reliability of Static Analysis Results Using Machine Learning
Language: TeX - Size: 31.9 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0
mmoschenskikh/dynamic-program-slicing-russian
Russian translation (excerpts) of 1990 «Dynamic Program Slicing» article by Hiralal Agrawal and Joseph Robert Horgan
Size: 700 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
SwathiSBhat/Static-program-analysis-techniques
Implementation of different forms of static program analysis techniques
Language: C++ - Size: 6.14 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
toukir-ahammed/program-slicer-plugin
An Eclipse Plugin for Java Static Program Slicing
Language: Java - Size: 542 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 3
codingforkind/mirror
A tool set for Java program slicing.
Language: Java - Size: 734 KB - Last synced at: 4 months ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 2
jaredkhan/Caramel
A program dependence graph and program slicer for the Swift programming language
Language: Swift - Size: 3.2 MB - Last synced at: over 1 year ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 1
