Top Rating
- Top Contributors
  Discover the Top Open Source contributors by country or by language
- Interviews
  Discover real stories from Open Source developers
Discover

Discover your Favorite Language
Discover the top trending repositories and projects on Github. Explore the latest trends in your preferred languages.

Crystal

Julia

MATLAB

CoffeeScript

Rust

Dart

C#

Lua

More Languages
Awesome

Awesome repositories
Discover the most awesome repositories and projects of your favorite languages. Inspired by the Awesome-* lists trend in GitHub.

Racket

Objective-C

Java

Go

Groovy

C

C++

JavaScript

More Languages
By Country

Rankings by Country
Discover the community of talented open source contributors in each country.

🇭🇳 Honduras

🇬🇳 Guinea

🇰🇬 Kyrgyzstan

🇯🇪 Jersey

🇵🇾 Paraguay

🇵🇪 Peru

🇪🇨 Ecuador

🇨🇾 Cyprus

All Countries Compare Countries

tum-i4/klee-install

Stars
18
Rank 1,208,065 (Top 24 %)
Language
Shell
License
Creative Commons ...
Created over 8 years ago
Updated over 7 years ago

tum-i4/klee-install

tum-i4

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Step by step manual for building KLEE

macke

Modular And Compositional analysis with KLEE Engine

obfuscation-benchmarks

A set of programs used for benchmarking the strength of obfuscation

indistinguishability-obfuscation

Implementation of indistinguishability obfuscation constructions from scientific literature

vot4cs

A Virtualization Obfuscation Tool for C# programs

munch

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

attack-graph-generator

dta-vs-osc

Dynamic Taint Analysis versus Obfuscated Self-Checking

Repackman

A Tool for the Automatic Repackaging of Android Apps

deadlines

Deadline countdowns for academic conferences relevant to the SSE chair.

Oedipus

A Python framework that uses machine learning algorithms to implement the metadata recovery attack against obfuscated programs.

self-checksumming

sip-toolchain

A toolchain for software integrity protection including self-checksumming, control flow integrity, result checking, oblivious hashing and a sample program protected using Intel SGX

sip-oblivious-hashing

JTeC

JTeC: Java Testwise Coverage

input-dependency-analyzer

dirts

DIRTS: Dependency Injection Aware Regression Test Selection

Maat

Maat is a framework that mines VirusTotal scan reports to extract various information about the correctness, completeness, and consistency of scanners. It can also be used to train threshold-based and ML-based labeling strategies to label (Android) apps according to their VirusTotal scan reports and much more. Maat also refers to the ancient Egyptian concepts of truth, balance, order, harmony.

Pairika

nequivack

Non-equivalence checker for C programs

binary-rts

BinaryRTS is a research tool for regression test selection of C++ binaries based on dynamic binary instrumentation

Aletheia

macke-opt-llvm

Passes for LLVM operations inside MACKE

CIS-Benchmark-Evaluation

This repository is part of the paper Automated Implementation of Windows-related Security-Configuration Guides presented at the 35th IEEE/ACM International Conference on Automated Software Engineering.

inverse-transparency

Connected infrastructure to automatically log and display accesses to employees' data

macke-fuzzer-opt-llvm

green-fuzzing-artifacts

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

Jupyter Notebook

what-the-func

A simple C++ function parser/tagger based on tree-sitter

rritbed

Real-Time Remote Intrusion Detection Testbed

localizing-android-malicious-behaviors

Initial implementation of a method to localize malicious behaviors from API call traces of Android apps

SACPS-evaluation-framework

disa-windows-server-2016

This repository is part of the paper Automated Implementation of Windows-related Security-Configuration Guides presented at the 35th IEEE/ACM International Conference on Automated Software Engineering.

ssacps_packages

Contains ROS packages to run the use cases in the ssacps_simulation repository.

troutcatchers

A framework for the extraction of malicious behaviors from Android (repackaged) malware

kovacs

sipvsml

Software Integrity Protection Versus Machine Learning

Jupyter Notebook

CodeMapExtractor

survey-tools

A bunch of text and pdf analysis tools that may be useful for literature surveys and mapping studies

MakeAdditions

Add magic to your make command

disa-windows-server-2019

This repository is part of the paper Automated Implementation of Windows-related Security-Configuration Guides presented at the 35th IEEE/ACM International Conference on Automated Software Engineering.

Better-Safe-Than-Sorry

This repository is part of the paper "Better Safe Than Sorry! Automated Identification of Breaking Security-Configuration Rules" accepted at the "4th ACM/IEEE International Conference on Automation of Software Test (AST)". https://conf.researchr.org/home/ast-2023

CODASPY2022

This repository is part of the paper "Hardening with Scapolite: a DevOps-based Approach for Improved Authoring and Testing of Security-Configuration Guides in Large-Scale Organizations" presented at the 12th ACM Conference on Data and Application Security and Privacy (CODASPY). http://www.codaspy.org/2022/

Automated-Identification-of-Security-Relevant-Configuration-Settings-Using-NLP

This repository is part of the paper "Automated Identification of Security-Relevant Configuration Settings Using NLP" accepted at the Industry Showcase track at the 37th IEEE/ACM International Conference on Automated Software Engineering (ASE). https://conf.researchr.org/track/ase-2022/ase-2022-industry-showcase.

Jupyter Notebook