Explore projects
-
Inoffizielle Sammlung von Materialien zu diversen Veranstaltungen Tags: RK, AuD, FFI, Forensik, GTI, IDB, KonzMod, Mathe, C1, C4, Spring, SupCom, ThProg, Skript
Updated -
-
-
Philip Kaluđerčić / Trip
GNU General Public License v3.0 or laterAn utility to intentionally triggering the failure of libc function calls. Manpage.
Updated -
Updated
-
Updated
-
-
Luci Project / Luci
GNU Affero General Public License v3.0A linker/loader daemon experiment for academic purposes with hackability (not performance!) in mind
Updated -
Collection of useful things I build while playing with the linux kernel
Updated -
AnyCall (bpftask) evaluation scripts and build environment.
Updated -
Felix / StudOn - Score
MIT LicenseCounts your achieved score and divides it through the maximum score on StudOn exercise pages
Updated -
Luis Gerhorst / VeriFence
GNU General Public License v2.0 or laterMitigating Spectre-PHT using Speculation Barriers in Linux eBPF (https://sys.cs.fau.de/verifence)
Updated -
Luci Project / Dirty Little Helper
GNU Affero General Public License v3.0Set of tools including the most important syscall wrappers, library functions and containers for creating a static standalone application (without libc / libstdc++ dependencies).
Updated -
Michael Sammler / GQM-Coq
MIT LicenseUpdated -
-
Updated
-
-