Skip to content
View johnfxgalea's full-sized avatar

Organizations

@Dynamic-Rabbits
Block or Report

Block or report johnfxgalea

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Linux Runtime Security and Forensics using eBPF

Go 3,397 398 Updated Jul 30, 2024

Binary Analysis Framework in Rust

Rust 546 47 Updated Jan 22, 2024

Ghidra analysis plugin to locate cryptographic constants

Java 237 21 Updated Jun 13, 2023

A LLVM-based static analysis framework.

C++ 923 140 Updated Jun 19, 2024

An awesome & curated list of binary code similarity papers

486 72 Updated May 22, 2024

weggli is a fast and robust semantic search tool for C and C++ codebases. It is designed to help security researchers identify interesting functionality in large codebases.

Rust 2,306 130 Updated Jul 12, 2024

A static verifier for Rust, based on the Viper verification infrastructure.

Rust 1,537 105 Updated Jul 23, 2024

A True Instrumentable Binary Emulation Framework

Python 4,985 734 Updated Jul 25, 2024

Kani Rust Verifier

Rust 2,065 85 Updated Jul 31, 2024

VirtualBox E1000 Guest-to-Host Escape

1,404 200 Updated Nov 15, 2018

An updated collection of resources targeting browser-exploitation.

803 116 Updated Mar 8, 2021

A JavaScript Engine Fuzzer

Swift 1,836 297 Updated Jul 30, 2024

Recent Fuzzing Paper

351 123 Updated Sep 15, 2020

Binary coverage tool without binary modification for Windows

Rust 423 43 Updated Aug 12, 2020

Created by David Maloney via the GitHub Connector

Ruby 11 10 Updated Oct 4, 2023

Shared memory queue benchmarks and tracing for blog

C 68 11 Updated Jan 21, 2016

Haxxis Visualization System

C# 25 4 Updated May 22, 2017

🔣 A collection of GitHub issue, pull request and security templates

4,088 5,782 Updated Mar 20, 2024

syzkaller is an unsupervised coverage-guided kernel fuzzer

Go 5,236 1,198 Updated Jul 30, 2024

A tool for running small microbenchmarks on recent Intel and AMD x86 CPUs.

Python 430 53 Updated Mar 12, 2023
C++ 7 2 Updated Dec 5, 2021

Machine Learning Benchmark Scripts

Python 2 1 Updated Aug 24, 2019

A Cytoscape.js extension to expand/collapse nodes for better management of complexity of compound graphs

JavaScript 124 32 Updated May 4, 2023

An instruction trace visualisation tool for dynamic program analysis

C# 362 32 Updated Dec 8, 2022

IDA 2016 plugin contest winner! Symbolic Execution just one-click away!

C++ 1,472 70 Updated Jun 1, 2023

Test and benchmark various PDF page rasterization utilities

C++ 14 1 Updated Jul 20, 2014

Python Interpreters Benchmarks

Python 20 3 Updated Dec 1, 2023

JavaScript benchmark for common web developer workloads

JavaScript 437 68 Updated Dec 14, 2023

arXiv LaTeX Cleaner: Easily clean the LaTeX code of your paper to submit to arXiv

Python 5,085 320 Updated Jul 21, 2024
Next