Giters
shankarapailoor

shankarapailoor

Geek Repo

28

followers

5

following

33

stars

Github PK Tool:Github PK Tool

shankarapailoor's starred repositories

go-fuzz

Randomized testing for Go

Language:GoLicense:Apache-2.0Stargazers:4759Issues:85Issues:172

mcsema

Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode

Language:C++License:AGPL-3.0Stargazers:2649Issues:114Issues:439

seccomp-tools

Provide powerful tools for seccomp analysis

Language:RubyLicense:MITStargazers:973Issues:16Issues:22

qsym

QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing

Language:C++License:NOASSERTIONStargazers:629Issues:26Issues:85

Linux_kernel_exploits

Repo for FUZE project. I will also publish some Linux kernel LPE exploits for various real world kernel vulnerabilities here. the samples are uploaded for education purposes for red and blue teams.

Language:CLicense:MITStargazers:491Issues:44Issues:6

dg

[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.

Language:C++License:MITStargazers:482Issues:20Issues:299

neuzz

neural network assisted fuzzer

Language:CLicense:NOASSERTIONStargazers:395Issues:21Issues:20

playpen

A secure application sandbox built with modern Linux sandboxing features - no longer actively developed, but still works fine, use bubblewrap if you need more functionality

Language:CLicense:MITStargazers:290Issues:22Issues:0

clam

Static Analyzer for LLVM bitcode based on Abstract Interpretation

Language:CLicense:Apache-2.0Stargazers:274Issues:13Issues:71

nezha

Differential fuzzing for the masses!

Language:C++Stargazers:149Issues:12Issues:4

ELINA

ELINA: ETH LIbrary for Numerical Analysis

Language:C++License:NOASSERTIONStargazers:129Issues:14Issues:64

MIPVerify.jl

Evaluating Robustness of Neural Networks with Mixed Integer Programming

Language:JuliaLicense:MITStargazers:113Issues:4Issues:30

Even-The-Ocean-Open-Source

99%-Open Source code of Even the Ocean, a 2016 PC game.

Language:HaxeLicense:NOASSERTIONStargazers:106Issues:5Issues:3

ReluplexCav2017

Language:CLicense:NOASSERTIONStargazers:101Issues:11Issues:6

moonshine

Language:GoLicense:MITStargazers:95Issues:6Issues:6

Picus

Automated verification of uniqueness property for ZKP circuits

Language:CircomLicense:MITStargazers:68Issues:2Issues:0

pixeldp

Language:PythonStargazers:62Issues:9Issues:8

ReluVal

The released code of ReluVal in USENIX Security 2018

Language:CLicense:NOASSERTIONStargazers:56Issues:2Issues:5

Medjai

A Symbolic Execution Tool for Cairo

Language:RacketLicense:GPL-3.0Stargazers:49Issues:1Issues:0

LambdaNet

Probabilistic Type Inference using Graph Neural Networks

Language:ScalaStargazers:47Issues:10Issues:2

Neurify

The released code of Neurify in NIPS 2018

Language:CStargazers:46Issues:4Issues:17

Eurus

Precise Attack Synthesis for DeFi Apps

Language:RacketLicense:GPL-3.0Stargazers:46Issues:13Issues:0

regel

REGEL: Regular Expression Generation from Examples and Language

Language:JavaLicense:MITStargazers:33Issues:9Issues:9

chipmunk

Tool for checking crash-consistency for persistent-memory file systems (Eurosys 23)

Language:CLicense:Apache-2.0Stargazers:18Issues:6Issues:9

charon

The Charon tool for analyzing neural network robustness

Language:C++License:BSD-3-ClauseStargazers:13Issues:3Issues:0

trace2syz

Language:GoStargazers:6Issues:3Issues:3

Smore

Code repository for 'Data Extraction via Semantic Regular Expression Synthesis'

Language:PythonLicense:MITStargazers:6Issues:3Issues:1

graphy

Code repository for 'Type-Directed Synthesis of Visualizations from Natural Language Queries'

Language:Jupyter NotebookLicense:MITStargazers:5Issues:5Issues:0

Opera

Code repository for 'From Batch to Stream: Automatic Generation of Online Algorithms' https://arxiv.org/abs/2404.04743

Language:PythonLicense:MITStargazers:4Issues:4Issues:0

picus_gnark

Utilities to extract Picus constraints from gnark

Language:GoStargazers:1Issues:6Issues:2