Pinned Repositories
bap-veri
bil verification tool
float
float playground
math_kernel
wrappers around lacaml and bigarray for ring representation. And around fftw3, just for convenience.
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
ppc-model
socket
a suitable module, mainly aimed for creation simple broadcast server
sparc-model
trace_tool
helpful tool to deal with traces
x86-model
gitoleg's Repositories
gitoleg/float
float playground
gitoleg/sparc-model
gitoleg/bap-veri
bil verification tool
gitoleg/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
gitoleg/bap
BAP Core Library
gitoleg/bap-bindings
C Bindings to BAP
gitoleg/bap-frames
Store and read traces in Protobuf
gitoleg/bap-ida-python
integration with IDA
gitoleg/bap-plugins
BAP Plugins Repository
gitoleg/bap-python
BAP python bindings
gitoleg/bap-results
auxiliary files to represent bap results
gitoleg/bap-server
bap RPC server
gitoleg/bap-sip
gitoleg/bap-testsuite
BAP test suite
gitoleg/bap-toolkit
A collection of ready to use binary analysis tools
gitoleg/bap-toolkit-manager
provides an easy way to run bap against variety of artifacts and analysis
gitoleg/base
Standard library for OCaml
gitoleg/binaryanalysisplatform.github.io
The BAP Blog
gitoleg/cbat_tools
Program analysis tools developed at Draper on the CBAT project.
gitoleg/clangir
A new high-level IR for clang.
gitoleg/core-lwt
Lwt in Janestreet's Core style
gitoleg/FrontC
An OCaml library providing a C parser and lexer
gitoleg/gitoleg.github.io
gitoleg/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
gitoleg/my-actions
a testing repo
gitoleg/my-repo-1
gitoleg/my-repo-2
testing purposes
gitoleg/ntp
The Reference Implementation from the Network Time Protocol Project at Network Time Foundation
gitoleg/OcamlCourse
gitoleg/playtravis
playtravis