Pinned Repositories
amordahl.github.io
AndroidTA_FaultLocalization
AndroidTAEnvironment
Environment in which to run Android Taint Analysis Experiments
AQL-System
System using the Analysis Query Language
BREW
Benchmark Refinement and Execution Wizard
BrewRunner
Runs BREW in batch, and computes results for precision and recall
Dacapo-2006
RethinkingAndroid_ISSTA2021_FossDroid_Dataset
satune
Satune: A Study-Driven Auto-Tuning Approach for Configurable Software Verification Tools
ECSTATIC
amordahl's Repositories
amordahl/RethinkingAndroid_ISSTA2021_FossDroid_Dataset
amordahl/satune
Satune: A Study-Driven Auto-Tuning Approach for Configurable Software Verification Tools
amordahl/amordahl.github.io
amordahl/AndroidTA_FaultLocalization
amordahl/AndroidTAEnvironment
Environment in which to run Android Taint Analysis Experiments
amordahl/AQL-System
System using the Analysis Query Language
amordahl/BREW
Benchmark Refinement and Execution Wizard
amordahl/BrewRunner
Runs BREW in batch, and computes results for precision and recall
amordahl/Dacapo-2006
amordahl/DroidBench
A micro-benchmark suite to assess the stability of taint-analysis tools for Android
amordahl/FlowDroid
FlowDroid Static Data Flow Tracker
amordahl/GraphingFuzzer
amordahl/infer
A static analyzer for Java, C, C++, and Objective-C
amordahl/javaslicer
JavaSlicer is an open-source dynamic slicing tool developed at Saarland University
amordahl/kconfig_case_studies
Kconfig case studies
amordahl/ObjectSensitivity
amordahl/objsim
ObjSim: Lightweight Automatic Patch Prioritization via Object Similarity
amordahl/ReflectionBenchmark
amordahl/RethinkingAndroid_ISSTA2021
This repository is our submission to the Artifact Evaluation track of ISSTA 2021.
amordahl/tf-gnn-samples
TensorFlow implementations of Graph Neural Networks
amordahl/TypeChef-Sampling-Busybox
amordahl/WALA
T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses