Beast code in Giters

Eric Bodden's repositories

Work repository for the incremental IFDS solver

Language:Java7 10

A set of AspectJ aspects to detect errors with Concurrency Control in Java and AspectJ applications.

Language:Java2 10

MOPBox is Monitor-Oriented Programming in a box.

Language:Java2 10

Draft of the Eclipse webpage for CogniCrypt

Language:JavaScript100

A generic library for parametric runtime monitoring, now succeeded by MopBox and PRM4J

Language:Java010

Language:Java020

Tracking Load-time Configuration Options

010

Slides of IT-Security Meetup Kassel

Language:JavaScript000

This repository contains the documentation for openHAB.

Language:RubyNOASSERTION000

organize-conference-sessions-by-paper-topics: Use LDA to characterize papers and then use K-Means on LDA features to cluster papers into sessions!

Language:PythonApache-2.0000

Language:JavaLGPL-2.1010

CC0-1.0010

Efficient and Precise Pointer-Tracking Data-Flow Framework

Language:JavaEPL-2.0000

A pedagogically-curated collection of vulnerability demonstrations for undergraduate software engineering students.

Language:Java000