timll

Darmstadt

Pinned Repositories

aliflow-micro-benchmark
a micro-benchmark for testing static taint analysis
Language:Java0 0 00
bachelor-thesis
Language:Jupyter Notebook1 1 00
BenchmarkJava
Language:Java0 0 00
BenchmarkUtils
OWASP Benchmark Project Utilities - Provides scorecard generation and crawling tools for Benchmark style test suites.
Language:Java0 0 00
bluecheck
A generic test bench written in Bluespec
Language:Bluespec0 1 00
busfahrer.ts
Language:TypeScript0 2 00
com.teamspeak.TeamSpeak
0 0 00
FlowDroid
FlowDroid Static Data Flow Tracker
Language:Java1 1 01
spotify-group-session
Brings Spotify Group Sessions to the desktop client
Language:JavaScript41 2 1013

timll's Repositories

timll/spotify-group-session
Brings Spotify Group Sessions to the desktop client
Language:JavaScript41 2 1013
timll/bachelor-thesis
Language:Jupyter Notebook1 1 00
timll/FlowDroid
FlowDroid Static Data Flow Tracker
Language:Java1 1 01
timll/aliflow-micro-benchmark
a micro-benchmark for testing static taint analysis
Language:Java0 0 00
timll/BenchmarkJava
Language:Java0 0 00
timll/BenchmarkUtils
OWASP Benchmark Project Utilities - Provides scorecard generation and crawling tools for Benchmark style test suites.
Language:Java0 0 00
timll/bluecheck
A generic test bench written in Bluespec
Language:Bluespec0 1 00
timll/busfahrer.ts
Language:TypeScript0 2 00
timll/com.teamspeak.TeamSpeak
0 0 00
timll/DroidBench
A micro-benchmark suite to assess the stability of taint-analysis tools for Android
Language:Java0 0 00
timll/gcc
0 0 00
timll/java2js
Language:Java0 2 00
timll/js-ifds
Language:Java0 1 01
timll/motion-canvas
Visualize Your Ideas With Code
Language:TypeScript0 0
timll/opal
Language:Scala1 03
timll/soot
Soot - A Java optimization framework
Language:Java0 0
timll/TaintBench
https://taintbench.github.io
Language:Shell0 0
timll/wahlwebsite
Language:CSS1 0
timll/while-analysis
Language:C++1 0