maurer/bap-callstrings maurer/bap-callstrings

  • Stars
    star
    2
  • Language Standard ML
  • Created over 9 years ago
  • Updated over 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
maurer/bap-callstrings
github

maurer

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

symfuzz

OCaml
61
star
2

holmes

Datalog engine with extensions for integrating analyses
Rust
38
star
3

bap-rust

Rust
13
star
4

c-storable-deriving

Derivation of C-like Storable Instances
Haskell
12
star
5

mycroft

Rust
6
star
6

15-411-Haskell-Base-Code

Haskell Basecode for the 411 Compiler Project
Haskell
4
star
7

executable

A Haskell Library for Binary Analysis
Haskell
4
star
8

ptrace

Haskell PTrace Bindings
Haskell
4
star
9

tachyon

Record/Replay for syscall streams
Haskell
3
star
10

hott-notes

15-819 (Homotopy Type Theory) Lecture Notes
TeX
3
star
11

r5d4

An asynchronous connection pool for rust, heavily modeled off r2d2
Rust
2
star
12

thesis

TeX
2
star
13

marduk

2
star
14

yggdrasil

Haskell
2
star
15

bcc

Haskell
2
star
16

tyr

Agda
1
star
17

tiamat

Modules for doing binary analysis with holmes
1
star
18

hseve

Haskell bindings for the EVE API
Haskell
1
star
19

nixlocal

Local set of Nix packages/configuration not suitable for upstream
Nix
1
star
20

trace

Platform Independent Tracing for Haskell
Haskell
1
star
21

advent-of-code

Rust
1
star
22

portage

My personal portage overlay
Shell
1
star
23

bil

Haskell parser for BIL
Haskell
1
star
24

libbap

C Bindings for BAP
C
1
star