agustingianni/verilog

Stars
3
Rank 3,859,906 (Top 79 %)
Language Verilog
License
BSD 2-Clause "Sim...
Created over 8 years ago
Updated over 8 years ago

agustingianni/verilog

agustingianni

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

Various verilog tests.

retools

retools: a reverse engineering toolkit for normies

Utilities

Uncategorized utilities

memrepl

Memory inspection REPL interface

symrepl

instrumentation

Assorted pintools

InMemoryFuzzer

Prototype for an in memory fuzzer

ARMPython

ArgOS

Open Source IA-32 Operating System

Executor

x86, AMD64 and ARM attempt to DBI

multi-query

Run a single query on multiple CodeQL databases.

ffuzzer

Unix File Fuzzer

ThreadProfiler

Collection of utilities used while developing multi-threaded code.

rust-resources

Nice things I've found on the internet about rust.

StreamingProject

MP3 Streaming Server

gooselang

Goose complete programming language

fuzzing

CovInt3

Small utility to quickly assess code coverage by instrumenting a binary with int3 opcodes.

hookgrip

Hookgrip hooking utility

CoverageReport

Wrappers around DynamoRio's drcov scripts that make them easier to use.

ioctlbf

Automatically exported from code.google.com/p/ioctlbf

palestra

smart-contract-security

bindings-fuzzer

pesi.sm

San Marino Pesi

ReversedTypesDatabase

Mostly .h files generated with IDA. They contain recovered types from binaries.

virtual-display

ocaml_test

Parser for ARM's specification pseudocode