wcphkust Goto Github PK

.mybin

Some useful commands

afl

american fuzzy lop - a security-oriented fuzzer

android-platforms

A collection of all android.jar files for the different platform versions.

aprof

Java memory allocation profiler

ardiff

atlas

autornp

AutoRNP -- Automated Repair of High Floating-Point Errors in Numerical Libraries

bandit

Bandit is a tool designed to find common security issues in Python code.

binabsinspector

BinAbsInspector: Vulnerability Scanner for Binaries

blockchain-dark-forest-selfguard-handbook

Blockchain dark forest selfguard handbook. Master these, master the security of your cryptocurrency.

ccexperiment

chatglm-6b

ChatGLM-6B: An Open Bilingual Dialogue Language Model | 开源双语对话语言模型

cil

C Intermediate Language

clangml-transforms

transformations from Clang AST to MemCAD AST

clever

Client-Specific Equivalence Checking with PyExSMT

coco

code-forensics

A toolset for code analysis and report visualisation

codebaseextractor

A extractor for GitHub repo. Generate codebase fact for QA system.

codefuse-query

QL-Based Code Analysis Engine NOT only for CodeFuse training data quality

comby

A tool for structural code search and replace that supports ~every language.

commons-lang

Mirror of Apache Commons Lang

containerunittestprofiling

Time profiling commonly-used containers

cornelius

Equivalent and redundant mutant detection with e-graphs!!!

cosette

Cosette is an automated SQL solver.

cozy

The collection synthesizer

cpbenchmark

This repo contains the bc and source files of C/C++ projects used for value-flow analysis. The LLVM IR is in the version of 3.6.2.

cs703-program-synthesis

Program synthesis class taught by Loris D'Antoni

cumulative-reasoning

Official implementation of paper "Cumulative Reasoning with Large Language Models"

cvc4

CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

cynthia

Data-Oriented Differential Testing of ORM Systems.