Movatterモバイル変換


[0]ホーム

URL:


Skip to content

Navigation Menu

tum-i4

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
@tum-i4

Chair of Software & Systems Engineering

Popular repositoriesLoading

  1. mackemackePublic

    Modular And Compositional analysis with KLEE Engine

    Python 115 19

  2. obfuscation-benchmarksobfuscation-benchmarksPublic

    A set of programs used for benchmarking the strength of obfuscation

    C 87 22

  3. indistinguishability-obfuscationindistinguishability-obfuscationPublic

    Implementation of indistinguishability obfuscation constructions from scientific literature

    Python 47 8

  4. vot4csvot4csPublic

    A Virtualization Obfuscation Tool for C# programs

    C# 39 13

  5. munchmunchPublic

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

    Makefile 38 9

  6. attack-graph-generatorattack-graph-generatorPublic

    Python 30 11

Repositories

Loading
Type
Select type
Language
Select language
Sort
Select order
Showing 10 of 75 repositories
  • sast-fuzz Public

    SAST-directed greybox fuzzing

    tum-i4/sast-fuzz’s past year of commit activity
    C++ 6Apache-2.0 2 3 0 UpdatedFeb 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
    Python0MIT0 0 0 UpdatedFeb 27, 2025
  • gemtest-doc Public

    Documentation of the gemtest framework

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

    Examples for the gemtest framework

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

    Visualize metamorphic test cases from gemtest

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

    gemtest: a general metamorphic testing framework with pytest

    tum-i4/gemtest’s past year of commit activity
    Python 2MIT0 0 0 UpdatedJan 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 3Apache-2.0 1 0 0 UpdatedJan 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 1Apache-2.00 0 0 UpdatedJan 9, 2025
  • rustyrts Public

    rustyRTS: Regression Test Selection for Rust

    tum-i4/rustyrts’s past year of commit activity
    Rust 2Apache-2.00 0 0 UpdatedJan 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 UpdatedNov 11, 2024

[8]ページ先頭

©2009-2025 Movatter.jp