Dongge Liu (Alan32Liu)

Alan32Liu

Geek Repo

Github PK Tool:Github PK Tool


Organizations
googlers
ezoic increase your site revenue

Dongge Liu's repositories

Legion

A coverage-based software testing tool

Language:CLicense:MITStargazers:27Issues:0Issues:0

AFLNet_Legion

AFLNet with MCTS

Language:CLicense:Apache-2.0Stargazers:1Issues:0Issues:0

angr

A powerful and user-friendly binary analysis platform!

Language:PythonLicense:BSD-2-ClauseStargazers:1Issues:0Issues:0

claripy

An abstraction layer for constraint solvers.

Language:PythonLicense:BSD-2-ClauseStargazers:1Issues:0Issues:0

COMP90045Assignment

A compiler for a toy language 'Goat', written in Haskell

Language:HaskellStargazers:1Issues:0Issues:0

LeetBox

A LootBox of the fastest and succinctest attempts on LeetCode

Language:PythonStargazers:1Issues:0Issues:0
Language:ShellLicense:Apache-2.0Stargazers:1Issues:0Issues:0

aflnet

AFLNet: A Greybox Fuzzer for Network Protocols (https://thuanpv.github.io/publications/AFLNet_ICST20.pdf)

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

angr-doc

Documentation for the angr suite

License:BSD-2-ClauseStargazers:0Issues:0Issues:0

angr-z3

The Z3 Theorem Prover - repository for staging python distributions

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

archinfo

Classes with architecture-specific information useful to other projects.

Language:PythonLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0

benchexec

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

License:Apache-2.0Stargazers:0Issues:0Issues:0

CanvasQuizMarker

Two scripts to parse students' quiz scores and write to their grades

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

carcassonne

Carcassonne implementation in python

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

cle

CLE Loads Everything (at least, many binary formats!)

Language:PythonLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0
Language:PythonLicense:MITStargazers:0Issues:0Issues:0

github-scarecrow

A sample project for OSS-FUZZ to test its functionalities (e.g. filing/closing issues).

Language:C++License:MITStargazers:0Issues:0Issues:0

jekyll-theme-chirpy

A minimal, sidebar, responsive web design Jekyll theme, focusing on text presentation.

License:MITStargazers:0Issues:0Issues:0

jekyll-uno-timeline

A Jekyll Theme, based on the Uno-Theme with some adjustments.

License:MITStargazers:0Issues:0Issues:0

llvm-llvm-project

A private fork of the `llvm-project` from `llvm`

Stargazers:0Issues:0Issues:0

ptrace_experiments

Experimenting shell injection with `ptrace`.

Language:CLicense:MITStargazers:0Issues:0Issues:0

pyvex

Python bindings for Valgrind's VEX IR.

Language:PythonLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0

simuvex

[DEPRECATED] A symbolic execution engine for the VEX IR

Language:PythonLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0

sv-benchmarks

Collection of Verification Tasks

Language:CStargazers:0Issues:0Issues:0

SWEN90010A2Marking

Automate Alloy marking

Language:AlloyLicense:Apache-2.0Stargazers:0Issues:0Issues:0

synthwave-vscode

Synthwave inspired colour theme for VS Code 🌅🕶

Language:CSSStargazers:0Issues:0Issues:0

tracejump

Instrument assembly code with tracing of jump targets

Language:CStargazers:0Issues:0Issues:0

VoiceConverterInDocker

Automate voice conversion with Docker

Language:DockerfileLicense:MITStargazers:0Issues:0Issues:0

you-get

:arrow_double_down: Dumb downloader that scrapes the web

License:NOASSERTIONStargazers:0Issues:0Issues:0