Vasco-jofra

format-string-finder-binja

A binary ninja plugin that finds format string vulnerabilities

prop

My take on a rop chain generator

jump-table-branch-editor

A binary ninja plugin that eases fixing jump table branches

dadstorm

A simplified implementation of a fault-tolerant real-time distributed stream processing system.

game_of_life_3d

Parallel implementations of the game of life 3D with MPI and OMP

Vasco-jofra.github.io

My personal website

zu-compiler

Compiler for the zu language

link-cut-trees

Connectivity in Forests

vanet-security

Security in Simulated Vehicular Ad-Hoc Networks

binaryninja-api

Public API, examples, documentation and issues for Binary Ninja

bnil-graph

A BinaryNinja plugin to graph a BNIL instruction tree

codeql-javascript-unsafe-jquery-plugin

curl-fuzzer

Quality assurance testing for the curl project

cutter

A Qt and C++ GUI for radare2 reverse engineering framework

http3-explained

A document describing the HTTP/3 and QUIC protocols

jquery.json-viewer

jQuery plugin for displaying JSON data

php-static-analysis

PHP static analysis tool

radare2

unix-like reverse engineering framework and commandline tools

render-farm

AWS Hosted Render Farm - Cloud Computing

safe-react

Gnosis Safe – The most trusted platform to store digital assets on Ethereum

semgrep-rules

Semgrep rules registry

Tetris-AI

Implementation of an artificial inteligent algorithm that plays Tetris.

Vasco-jofra.old.github.io

My personal blog

vscode-simple-extension

Just a simple vscode extension