minhyuk Goto Github PK

bear

Build EAR

bluetooth-rfcomm-fuzzer

bss

Bluetooth Stack Smasher

caringcaribou

A friendly car security exploration tool for the CAN bus

claripy

An abstraction layer for constraint solvers.

code-base-agent

Code agents for LLMs

crown

CROWN: Concolic testing for Real-wOrld softWare aNalysis

cstrace

strace is a diagnostic, debugging and instructional userspace utility for Linux

cv2pdb

converter of DMD CodeView/DWARF debug information to PDB files

deepfaultlocalization

dev-ubuntu-docker

elina

An Optimized implementation of the Octagon Abstract Domain

joern

A robust parser for C/C++ storing abstract syntax trees, control flow graphs and program dependence graphs in a neo4j graph database.

kaitai_struct

Kaitai Struct: declarative language to generate binary data parsers in C++ / C# / Go / Java / JavaScript / Lua / Nim / Perl / PHP / Python / Ruby

klee

KLEE Symbolic Virtual Machine

llvm

Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated hourly.

minhyuk.github.io

Profile

miniframework

Proof of concept for Convey pattern for small software design & usable libraries adapt for Convey pattern

model-evaluation

part of WP7: collects the various activities regarding selecting a tool and formal specification for modeling

pikos_popl2020

poco

POCO C++ Libraries - Cross-platform C++ libraries with a network/internet focus.

psychec

A compiler frontend for the C programming language

python-uds

A uds library for python

respond

A fast & lightweight polyfill for min/max-width CSS3 Media Queries (for IE 6-8, and more)

rose

A compiler infrastructure to build source-to-source program transformation and analysis tools.

semantic-kernel

Integrate cutting-edge LLM technology quickly and easily into your apps

simva-can

SimVA CAN over network bridge for Python

stockanalysisinpython

tadpolefordbtools

Tadpole for DB Tools is Unified infrastructure tool, various environment based interface for managing CUBRID, MySQL, Oracle, SQLite, MSSQL, PostgreSQL and MongoDB databases. It enables you to handle typical DB over the World Wide Web

test-repository