Ta Thanh Dinh's repositories
PathExplorer
A high-order code abstraction
SyscallTrace
A system call tracer
relative-pattern
Recover original control flow graph of obfuscated binaries
continuation-unpacker
A formal semantics based unpacker
llvm-clang-win64
Builds of llvm-clang on Windows 64bits
page-perso
Personal webpage
kaleidoscope
mini-compiler
QuickGraph
Graph Data Structures And Algorithms for .NET
elfsharp
Pure managed C# library for reading ELF, UImage, Mach-O binaries.
Language:C#NOASSERTION000
emacs-config
Personal configuration for emacs
Language:Emacs Lisp000
Language:F#000
libcpu
"libcpu" is an open source library that emulates several CPU architectures
Language:C++BSD-2-Clause000
unification
Code graph unification
Language:F#000