uds-se Goto Github PK

matplotlib

matplotlib: plotting with Python

mudflow-statistical-analysis

The repository contains scripts that are needed for statistical analysis of data flows

on-device-dm2

osnap

O!Snap: Cost-Efficient Testing in the Cloud

pfuzzer

The parser-directed Fuzzer

pyan

pyan is a Python module that performs static analysis of Python code to determine a call dependency graph between functions and methods. This is different from running the code and seeing which functions are called and how often; there are various tools that will generate a call graph in that way, usually using debugger or profiling trace hooks - for example: https://pycallgraph.readthedocs.org/ This code was originally written by Edmund Horner, and then modified by Juha Jeronen. See README for the original blog posts and links to their repositories.

pyexz3

Python Exploration with Z3

saigen-lib

sflkit

A workbench for statistical fault localization.

simply-buggy

Simple example programs for illustration purposes

soot-infoflow

Data flow tracking components for Java adopted for the MUDFLOW purposes

soot-infoflow-android

Android-specific components of FlowDroid adopted for the MUDFLOW purposes

stf

Control and manage Android devices from your browser.

stfservice.apk

Monitor and perform various actions on your Android device. Not meant for actual user devices.

uni-app-android

The "Uni Saar" app for android systems.

uni-app-ios

The "Uni Saar" app for iOS.