jvanegue

CTO Office / Head of Infrastructure & Security Research at Bloomberg, New York, USA

Bloomberg L.P.New York, USA

Pinned Repositories

comdb2
Bloomberg's distributed RDBMS
Language:C00
cryptopp
free C++ class library of cryptographic schemes
Language:C++0 0 00
DieHard
DieHard: An error-resistant memory allocator for Windows, Linux, and Mac OS X
Language:C0 0 00
eresi
The ERESI Reverse Engineering Software Interface
Language:C0 1 00
infer
A static analyzer for Java, C, C++, and Objective-C
Language:OCaml1 0 00
klee
KLEE Symbolic Virtual Machine
Language:LLVM0 2 00
mvbc
Minimum Viable Blockchain
Language:C++7 1 03
nyt-2020-election-scraper
Language:HTML0 0 00
pcre2
PCRE2 development is now based here.
Language:C0 0 00
suslik
Synthesis of Heap-Manipulating Programs from Separation Logic
Language:Scala0 0 00

jvanegue's Repositories

jvanegue/mvbc
Minimum Viable Blockchain
Language:C++7 1 03
jvanegue/infer
A static analyzer for Java, C, C++, and Objective-C
Language:OCaml1 0 00
jvanegue/comdb2
Bloomberg's distributed RDBMS
Language:C00
jvanegue/cryptopp
free C++ class library of cryptographic schemes
Language:C++0 0 00
jvanegue/DieHard
DieHard: An error-resistant memory allocator for Windows, Linux, and Mac OS X
Language:C0 0 00
jvanegue/eresi
The ERESI Reverse Engineering Software Interface
Language:C0 1 00
jvanegue/klee
KLEE Symbolic Virtual Machine
Language:LLVM0 2 00
jvanegue/nyt-2020-election-scraper
Language:HTML0 0 00
jvanegue/pcre2
PCRE2 development is now based here.
Language:C0 0 00
jvanegue/s2e
S2E - A Platform for In-Vivo Multi-Path Software Analysis
Language:C0 1 00
jvanegue/suslik
Synthesis of Heap-Manipulating Programs from Separation Logic
Language:Scala0 0 00