Andreas Zeller's group at CISPA and Saarland University

All

46 repositories

sflkit
Public archive
A workbench for statistical fault localization.
spectrum-based-fault-localization statistical-fault-localization statistical-debugging
Python
•
MIT License
•1•7•0•0•Updated Feb 11, 2025Feb 11, 2025
debuggingbook
Public
Project page for "The Debugging Book"
debugging debugging-tools interactive-notebooks automated-debugging python textbook jupyter-notebooks debuggers
Python
•
Other
•143•213•4•6•Updated Jan 22, 2025Jan 22, 2025
fuzzingbook
Public
Project page for "The Fuzzing Book"
testing test-automation fuzzing python jupyter-notebooks interactive-notebooks
Jupyter Notebook
•
Other
•236•1.1k•30•5•Updated Jan 22, 2025Jan 22, 2025
autoreject
Public
Autoreject.org — An automatic review generator
science review publications reject
HTML
•
MIT License
•3•70•0•0•Updated Jan 28, 2024Jan 28, 2024
FormatFuzzer
Public
FormatFuzzer is a framework for high-efficiency, high-quality generation and parsing of binary inputs.
testing parsing binary inputs fuzzing fuzzer
Python
•
Other
•31•405•5•1•Updated Jun 30, 2022Jun 30, 2022
AFLplusplus
Public
AFL++ with support for FormatFuzzer
C
•
Apache License 2.0
•1•12•0•0•Updated Apr 22, 2022Apr 22, 2022
FuzzManager
Public
A clone of MozillaSecurity/FuzzManager 0.4.1
HTML
•
Mozilla Public License 2.0
•0•3•0•0•Updated Feb 10, 2022Feb 10, 2022
Frontmatter
Public
Kotlin
•
MIT License
•4•5•2•0•Updated Jan 13, 2022Jan 13, 2022
aflsmart
Public
Smart Greybox Fuzzing (https://thuanpv.github.io/publications/TSE19_aflsmart.pdf)
C
•92•1•0•0•Updated Jun 25, 2021Jun 25, 2021
droidmate
Public
DroidMate-2: A Platform for Android Test Generation
android kotlin testing mobile testing-tools security-testing
Kotlin
•
GNU General Public License v3.0
•26•28•5•0•Updated Mar 9, 2021Mar 9, 2021
lFuzzer
Public
Fuzzing Parsers with Tokens
parser tokenizer fuzzing
Java
•
Other
•4•32•0•0•Updated Jan 14, 2021Jan 14, 2021
droidmate-coverage
Public
Kotlin
•2•1•0•0•Updated Nov 16, 2020Nov 16, 2020
on-device-dm2
Public
Kotlin
•0•2•5•0•Updated Sep 21, 2020Sep 21, 2020
droidmate-common
Public
Common classes shared by multiple DroidMate modules
Kotlin
•0•1•0•0•Updated Aug 5, 2020Aug 5, 2020
matplotlib
Public
matplotlib: plotting with Python
Python
•7.7k•1•0•0•Updated Jul 9, 2020Jul 9, 2020
fse20
Public
artifacts track, fse20
The Unlicense
•68•1•0•0•Updated Jun 20, 2020Jun 20, 2020
pFuzzer
Public
The parser-directed Fuzzer
LLVM
•
GNU General Public License v3.0
•5•38•0•0•Updated May 22, 2020May 22, 2020
immortals_data
Public
0•1•0•0•Updated May 16, 2020May 16, 2020
immortals
Public
Python
•0•1•0•0•Updated May 15, 2020May 15, 2020
cargo
Public
Dependency injection library for Python
Python
•
MIT License
•2•1•0•0•Updated May 3, 2020May 3, 2020
dm2-launcher
Public
Launcher script for DM-2 app
Kotlin
•0•2•0•0•Updated Apr 15, 2020Apr 15, 2020
saigen-lib
Public
PostScript
•1•1•0•0•Updated Nov 25, 2019Nov 25, 2019
droidmate-saigen
Public
Semantic Aware Input Generation Extension for DroidMate
PostScript
•0•1•0•0•Updated Nov 18, 2019Nov 18, 2019
droidmate-monitor
Public
Module to build the API monitor used by DroidMate
Java
•2•1•0•0•Updated Oct 30, 2019Oct 30, 2019
droidmate-bandits
Public
Droidmate strategies with Multi-Armed Bandits
Kotlin
•0•5•0•0•Updated Jul 19, 2019Jul 19, 2019
soot-infoflow-android
Public
Android-specific components of FlowDroid adopted for the MUDFLOW purposes
Java
•
GNU Lesser General Public License v2.1
•154•2•0•0•Updated Jun 10, 2019Jun 10, 2019
droidmate-interactionModel
Public
Kotlin
•0•2•0•0•Updated May 7, 2019May 7, 2019
droidmate-tiara
Public
TIARA repository
Kotlin
•0•1•0•0•Updated Apr 30, 2019Apr 30, 2019
stf
Public
Control and manage Android devices from your browser.
JavaScript
•
Other
•2.8k•10•0•0•Updated Apr 24, 2019Apr 24, 2019
uni-app-android
Public
The "Uni Saar" app for android systems.
Java
•2•4•5•1•Updated Apr 21, 2019Apr 21, 2019