xlauko

followers

following

stars

Trail of Bits

Brno, Czech Republic

https://xlauko.github.io/

Organizations

paradise-fi

trailofbits

Henrich Lauko's starred repositories

helix

A post-modern modal text editor.

Language:RustMPL-2.030746 182 4144

just

🤖 Just a command runner

Language:RustCC0-1.018052 64 901

actionlint

:octocat: Static checker for GitHub Actions workflow files

Language:GoMIT2495 10 257

preeny

Some helpful preload libraries for pwning stuff.

Language:CBSD-2-Clause1537 47 38

uiua

A stack-based array programming language

Language:RustMIT1414 23 201

QBDI

A Dynamic Binary Instrumentation framework based on LLVM.

Language:C++NOASSERTION1346 69 116

libipt

libipt - an Intel(R) Processor Trace decoder library

Language:CNOASSERTION634 60 89

qsym

QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing

Language:C++NOASSERTION624 26 85

ml-compiler-opt

Infrastructure for Machine Learning Guided Optimization (MLGO) in LLVM.

Language:PythonApache-2.0591 22 77

crubit

Language:C++NOASSERTION563 35 5

yarpgen

Yet Another Random Program Generator

Language:C++NOASSERTION454 19 26

seahorn

SeaHorn Verification Framework

Language:CNOASSERTION430 20 199

s2e

S2E: A platform for multi-path program analysis with selective symbolic execution.

Language:C++NOASSERTION411 120

xdsl

A Python Compiler Design Toolkit

Language:PythonNOASSERTION208 18 384

MSR_20_Code_vulnerability_CSV_Dataset

A C/C++ Code Vulnerability Dataset with Code Changes and CVE Summaries

Language:Jupyter NotebookMIT195 7 7

copyright-header

© Copyright Header is a utility to manipulate software licenses on source code.

Language:RubyGPL-3.0180 22 19

bitwuzla

Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”.

Language:SMTNOASSERTION164 10 79

thorin

The Higher-Order Intermediate Representation

Language:C++LGPL-3.0151 35 79

cclyzerpp

cclyzer++ is a precise and scalable pointer analysis for LLVM code.

Language:C++BSD-3-Clause111 12 76

ccrawl

clang-based search engine for C/C++ data structures, classes, prototypes & macros

Language:PythonGPL-3.0101 11 2

tpp-mlir

TPP experimentation on MLIR for linear algebra

Language:MLIRNOASSERTION95 6 209

tree-crasher

Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.

Language:RustMIT59 3 12

MkDoxy

📖 Automatically generates API documentation for your project based on Doxygen comments and code snippets in your markdown files.

Language:PythonMIT56 4 53

nontype_functional

Complete implementation of std::function, std::function_ref, and std::move_only_function

Language:C++BSD-2-Clause48 4 3

pkg-fmt

Metadata to support C++ packaging

NOASSERTION34 31 1

verify-c-common

Language:C13 7 9

shadow-memory

A robust and scalable shadow memory library.

Language:CNOASSERTION7 3 3

smt-dialect

An SMT dialect for MLIR, to represent SMTLib programs. And tools to interact with SMT solvers.

Language:PythonNOASSERTION7 20

aoc

Advent of code

Language:Rust500

Advent-of-Code-2022

cool děcko pořád nic neumí a tak zase dělá AOC v Pythonu

Language:Python200