m-carrasco Goto Github PK

aflplusplus

The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!

analysis-net

Static analysis framework for .NET programs.

azurefunctions

bct_test

testing code for BCT

bondis-web

Página desarrollada para facilitar la visualización de los datos recolectados de Bondicom.

cci

Common Compiler Infrastructure

contractorj

coreutils-s390x

corral

solver for the reachability modulo theories problem

dotnetcampus.tagtoversion

The dotnetCampus.TagToVersion that can helps us write tag names into version files is a dotnet tool.

dsa

Data structures and algorithms in C#

example-analysis-net

An example of how to use analysis-net for a live variable analysis.

fasthashes

A .NET implementation of different non-cryptographic hashes.

guava

Google core libraries for Java

jfs

Constraint solver based on coverage-guided fuzzing

klee

KLEE Symbolic Execution Engine

llvm

Project moved to: https://github.com/llvm/llvm-project

llvm-pass-tutorial

A step-by-step tutorial for building an LLVM sample pass

llvm-tutor

lunasvg

lunasvg is a standalone SVG rendering library in C++

m-carrasco.github.io

miniz

miniz: Single C source file zlib-replacement library, originally from code.google.com/p/miniz

net-ssa

net-ssa: A fast and easy-to-use register-based representation for .NET bytecode.

poc-example

sharp

sharplab

.NET language playground

smartgrammar

Smart Grammar is an expressive language to write smart scripts for the TrinityCore emulator.

symcc

SymCC: efficient compiler-based symbolic execution

tac2cil

A .NET compiler based on a three-address code representation of CIL.

tinybct