Giters
Changwei Zou (sheisc)

sheisc

Geek Repo

73

followers

0

following

107

stars

Home Page:https://sheisc.github.io/

Github PK Tool:Github PK Tool

Changwei Zou's starred repositories

you-get

:arrow_double_down: Dumb downloader that scrapes the web

Language:PythonLicense:NOASSERTIONStargazers:49695Issues:1359Issues:0

retdec

RetDec is a retargetable machine-code decompiler based on LLVM.

Language:C++License:MITStargazers:7908Issues:240Issues:842

pwndbg

Exploit Development and Reverse Engineering with GDB Made Easy

Language:PythonLicense:MITStargazers:7091Issues:137Issues:868

jerryscript

Ultra-lightweight JavaScript engine for the Internet of Things.

Language:CLicense:Apache-2.0Stargazers:6892Issues:194Issues:1544

Triton

Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.

Language:C++License:Apache-2.0Stargazers:3428Issues:132Issues:948

proguard

ProGuard, Java optimizer and obfuscator

Language:JavaLicense:GPL-2.0Stargazers:2740Issues:71Issues:326

Tai-e

An easy-to-learn/use static analysis framework for Java

Language:JavaLicense:LGPL-3.0Stargazers:1327Issues:30Issues:106

shecc

A self-hosting and educational C optimizing compiler

Language:CLicense:BSD-2-ClauseStargazers:1095Issues:26Issues:46

Tai-e-assignments

Tai-e assignments for static program analysis

Language:JavaLicense:LGPL-3.0Stargazers:1018Issues:5Issues:22

csmith

Csmith, a random generator of C programs

Language:C++License:NOASSERTIONStargazers:982Issues:35Issues:99

dg

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

Language:C++License:MITStargazers:479Issues:20Issues:298

dukpy

Simple JavaScript interpreter for Python

Language:JavaScriptLicense:MITStargazers:470Issues:20Issues:42

symbiotic

Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE

Language:PythonLicense:MITStargazers:306Issues:12Issues:175

python-jvm-interpreter

Java Virtual Machine implementation in Python

Language:PythonLicense:AGPL-3.0Stargazers:277Issues:14Issues:4

ldd4

Language:CLicense:NOASSERTIONStargazers:264Issues:37Issues:2

Qilin

Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis

Language:JavaLicense:LGPL-2.1Stargazers:117Issues:10Issues:6

x-python

A Python implementation of the C Python Interpreter

Language:PythonLicense:MITStargazers:90Issues:6Issues:0

Goshawk

Goshawk is a static analyze tool to detect memory corruption bugs in C source codes. It utilizes NLP to infer custom memory management functions and uses data flow analysis to abstract their behaviors and then adopts these summaries to enhace bug detection.

Language:C++Stargazers:75Issues:3Issues:10

mlta

TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets

Language:C++License:MITStargazers:74Issues:9Issues:8

COMFORT

Language:HTMLLicense:Apache-2.0Stargazers:68Issues:3Issues:1

DoubleX

Statically Detecting Vulnerable Data Flows in Browser Extensions at Scale

Language:PythonLicense:AGPL-3.0Stargazers:63Issues:4Issues:5

pySym

Python Symbolic Execution

Language:PythonStargazers:63Issues:8Issues:3

typm

Language:C++License:MITStargazers:30Issues:3Issues:2

PolyCruise

A Cross-Language Dynamic Information Flow Analysis.

Language:PythonStargazers:23Issues:2Issues:0

PolyFuzz

Holistic Greybox Fuzzing of Multi-Language Systems

Language:CLicense:Apache-2.0Stargazers:22Issues:3Issues:1

PCA

A data dependence analyzer for C program

Language:C++Stargazers:19Issues:1Issues:2

source

Adelie's source code

Language:CLicense:NOASSERTIONStargazers:10Issues:1Issues:0

DPP

This repository contains the source code and evaluation datasets of our proposed Data and Pointer Prioritization (DPP) framework utilizing rule-based heuristics to identify sensitive memory objects automatically from an application.

Language:ShellStargazers:7Issues:1Issues:1

JS-Query-Manager

Python script to query JavaScript static analysis tooling for points to set of source variables.

Language:PythonStargazers:4Issues:3Issues:5

VetSC

Language:PythonStargazers:4Issues:2Issues:0