Pinned Repositories
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.
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
MiniFramework
Proof of concept for Convey pattern for small software design & usable libraries adapt for Convey pattern
rose
A compiler infrastructure to build source-to-source program transformation and analysis tools.
minhyuk's Repositories
minhyuk/MiniFramework
Proof of concept for Convey pattern for small software design & usable libraries adapt for Convey pattern
minhyuk/rose
A compiler infrastructure to build source-to-source program transformation and analysis tools.
minhyuk/Bear
Build EAR
minhyuk/Bluetooth-RFCOMM-fuzzer
minhyuk/bss
Bluetooth Stack Smasher
minhyuk/caringcaribou
A friendly car security exploration tool for the CAN bus
minhyuk/claripy
An abstraction layer for constraint solvers.
minhyuk/CROWN
CROWN: Concolic testing for Real-wOrld softWare aNalysis
minhyuk/cstrace
strace is a diagnostic, debugging and instructional userspace utility for Linux
minhyuk/cv2pdb
converter of DMD CodeView/DWARF debug information to PDB files
minhyuk/DeepFaultLocalization
minhyuk/dev-ubuntu-docker
minhyuk/ELINA
An Optimized implementation of the Octagon Abstract Domain
minhyuk/joern
A robust parser for C/C++ storing abstract syntax trees, control flow graphs and program dependence graphs in a neo4j graph database.
minhyuk/kaitai_struct
Kaitai Struct: declarative language to generate binary data parsers in C++ / C# / Go / Java / JavaScript / Lua / Nim / Perl / PHP / Python / Ruby
minhyuk/klee
KLEE Symbolic Virtual Machine
minhyuk/llvm
Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated hourly.
minhyuk/minhyuk.github.io
Profile
minhyuk/model-evaluation
part of WP7: collects the various activities regarding selecting a tool and formal specification for modeling
minhyuk/pikos_popl2020
minhyuk/poco
POCO C++ Libraries - Cross-platform C++ libraries with a network/internet focus.
minhyuk/psychec
A compiler frontend for the C programming language
minhyuk/python-uds
A uds library for python
minhyuk/Respond
A fast & lightweight polyfill for min/max-width CSS3 Media Queries (for IE 6-8, and more)
minhyuk/semantic-kernel
Integrate cutting-edge LLM technology quickly and easily into your apps
minhyuk/simva-can
SimVA CAN over network bridge for Python
minhyuk/StockAnalysisInPython
minhyuk/test-repository
minhyuk/text-generation-inference
Large Language Model Text Generation Inference
minhyuk/zlib
A massively spiffy yet delicately unobtrusive compression library.