Giters
enlighten5

enlighten5

Geek Repo

22

followers

18

following

82

stars

Company:University of California Riverside

Location:Riverside CA

Home Page:enlighten5.github.io

Github PK Tool:Github PK Tool

enlighten5's starred repositories

TensorFlow-Course

:satellite: Simple and ready-to-use tutorials for TensorFlow

Language:Jupyter NotebookLicense:MITStargazers:16402Issues:808Issues:12

pock

Widgets manager for MacBook Touch Bar

Language:SwiftLicense:MITStargazers:10094Issues:83Issues:566

smart-contract-best-practices

A guide to smart contract security best practices

Language:HTMLStargazers:7438Issues:323Issues:93

angr

A powerful and user-friendly binary analysis platform!

Language:PythonLicense:BSD-2-ClauseStargazers:7406Issues:186Issues:1897

spectre-meltdown-checker

Reptar, Downfall, Zenbleed, ZombieLoad, RIDL, Fallout, Foreshadow, Spectre, Meltdown vulnerability/mitigation checker for Linux & BSD

Language:ShellStargazers:3838Issues:176Issues:284

mythril

Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains.

Language:PythonLicense:MITStargazers:3802Issues:81Issues:847

manticore

Symbolic execution tool

Language:PythonLicense:AGPL-3.0Stargazers:3665Issues:132Issues:812

klee

KLEE Symbolic Execution Engine

Language:C++License:NOASSERTIONStargazers:2534Issues:106Issues:602

firmadyne

Platform for emulation and dynamic analysis of Linux-based firmware

Language:ShellLicense:MITStargazers:1789Issues:73Issues:182

firmware-analysis-toolkit

Toolkit to emulate firmware and analyse it for security vulnerabilities

Language:PythonLicense:MITStargazers:1299Issues:54Issues:86

Angora

Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.

Language:C++License:Apache-2.0Stargazers:916Issues:41Issues:71

awesome-fuzzing

A curated list of awesome Fuzzing(or Fuzz Testing) for software security

Stargazers:809Issues:47Issues:4

linux

Linux kernel source tree

Language:CLicense:NOASSERTIONStargazers:793Issues:59Issues:204

qsym

QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing

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

kAFL

Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels

Language:PythonLicense:GPL-2.0Stargazers:569Issues:41Issues:25

symbolic-execution

History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)

Language:KotlinLicense:CC-BY-SA-4.0Stargazers:479Issues:38Issues:33

neuzz

neural network assisted fuzzer

Language:CLicense:NOASSERTIONStargazers:394Issues:21Issues:20

symexbib

A bibliography of papers related to symbolic execution

Stargazers:282Issues:39Issues:0

Eclipser

Grey-box Concolic Testing on Binary Code (ICSE '19)

Language:F#License:MITStargazers:148Issues:8Issues:15

laser-ethereum

Symbolic virtual machine for Ethereum

Language:PythonLicense:MITStargazers:68Issues:6Issues:24

spectector

Automatic detection of speculative information flows

Language:PrologLicense:Apache-2.0Stargazers:61Issues:10Issues:1

speculator

Tool to Analyze Speculative Execution Attacks and Mitigations

Language:CLicense:Apache-2.0Stargazers:53Issues:7Issues:0