Skip to content
@tum-i4

Chair of Software & Systems Engineering

README.md

Popular repositories Loading

  1. macke macke Public

    Modular And Compositional analysis with KLEE Engine

    Python 115 19

  2. obfuscation-benchmarks obfuscation-benchmarks Public

    A set of programs used for benchmarking the strength of obfuscation

    C 86 22

  3. indistinguishability-obfuscation indistinguishability-obfuscation Public

    Implementation of indistinguishability obfuscation constructions from scientific literature

    Python 47 8

  4. vot4cs vot4cs Public

    A Virtualization Obfuscation Tool for C# programs

    C# 39 13

  5. munch munch Public

    Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs

    Makefile 38 9

  6. attack-graph-generator attack-graph-generator Public

    Python 30 11

Repositories

Showing 10 of 75 repositories
  • sast-fuzz Public

    SAST-directed greybox fuzzing

    tum-i4/sast-fuzz’s past year of commit activity
    C++ 6 Apache-2.0 1 3 0 Updated Feb 27, 2025
  • latent_space_class_dispersion Public

    Introduction of LSCD and its comaprision with Surprise Adequacy and Mutation Score

    tum-i4/latent_space_class_dispersion’s past year of commit activity
    Python 0 MIT 0 0 0 Updated Feb 27, 2025
  • gemtest-doc Public

    Documentation of the gemtest framework

    tum-i4/gemtest-doc’s past year of commit activity
    1 MIT 0 0 0 Updated Feb 5, 2025
  • gemtest-examples Public

    Examples for the gemtest framework

    tum-i4/gemtest-examples’s past year of commit activity
    Python 1 MIT 0 0 0 Updated Feb 5, 2025
  • gemtest-webapp Public

    Visualize metamorphic test cases from gemtest

    tum-i4/gemtest-webapp’s past year of commit activity
    Python 1 MIT 0 0 0 Updated Jan 27, 2025
  • gemtest Public

    gemtest: a general metamorphic testing framework with pytest

    tum-i4/gemtest’s past year of commit activity
    Python 1 MIT 0 0 0 Updated Jan 27, 2025
  • green-fuzzing-artifacts Public

    Artifacts for the paper: "Green Fuzzing: A Saturation-Based Stopping Criterion using Vulnerability Prediction"

    tum-i4/green-fuzzing-artifacts’s past year of commit activity
    Jupyter Notebook 3 Apache-2.0 1 0 0 Updated Jan 9, 2025
  • sast-tool-evaluation-artifacts Public

    Artifacts for the paper: "An Empirical Study on the Effectiveness of Static C Code Analyzers for Vulnerability Detection"

    tum-i4/sast-tool-evaluation-artifacts’s past year of commit activity
    Jupyter Notebook 0 Apache-2.0 0 0 0 Updated Jan 9, 2025
  • rustyrts Public

    rustyRTS: Regression Test Selection for Rust

    tum-i4/rustyrts’s past year of commit activity
    Rust 1 Apache-2.0 0 0 0 Updated Jan 7, 2025
  • deadlines Public

    Deadline countdowns for academic conferences relevant to the SSE chair.

    tum-i4/deadlines’s past year of commit activity
    JavaScript 11 8 2 0 Updated Nov 11, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…