skmuduli92 Goto Github PK

achar-tool

afl

american fuzzy lop - a security-oriented fuzzer

aflplusplus

The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!

benchmarks

LLVM test suite benchmarks (260 benchmarks - 36 test suites)

c-algorithms

A library of common data structures and algorithms written in C.

calc-ast

Simple calculator using AST

chiron-framework

Chiron Framework for PAVT Teaching

code2inv

Code2Inv: Learning Loop Invariants for Program Verification

cs3100_m20

CS3100: Paradigms of Programming at CSE IITM (Monsoon 2020)

delphi

delphi is a prototype implementation of Synthesis Modulo Oracles (SyMO) and SMT with oracles (SMTO)

descartes

descartes: the cartesian hoare logic prover

dockerbuilder

exist

firrtl

Flexible Intermediate Representation for RTL

flix

The Flix Programming Language

fstar

A Proof-oriented Programming Language

fuzztest-tracegen

hackdac_2018_beta

The SoC used for the beta phase of Hack@DAC 2018.

hsmtmuc

Minimal unsatisfiable core extractor for SMT

hyperfuzzer

icml2018_selecting_representative_examples

code for icml paper: https://arxiv.org/abs/1711.03243v3

iot-demo-app

IoT-project prototype

iot-systems-modelling

jfs

Constraint solver based on coverage-guided fuzzing

learn-elixir

:droplet: Learn the Elixir programming language to build functional, fast, scalable and maintainable web applications!

libds

Data Structure Library written in C

libprop

HyperLTL property evaluation library and parser

llvm-opt-ssapre

LLVM pass based on paper "A new algorithm for partial redundancy elimination based on SSA form" by Fred Chow et al.

llvm-pass-project-template

merkle-tree

Merkle Tree implementation in Java