Skip to content
View langston-barrett's full-sized avatar

Block or report langston-barrett

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
langston-barrett/README.md

Researcher interested in functional programming, formal methods, programming languages, and security.

Projects

A comprehensive list is available here.

Highlighted Projects

  • Lesshand: A shorthand for the 21st century

Datalog

  • cclyzer++: a precise and scalable global pointer analysis for LLVM code
  • souffle-lint: A linter for Soufflé Datalog
  • treeedb: Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
  • tree-sitter-souffle: A tree-sitter grammar for Soufflé Datalog

Fuzzing

  • treereduce: A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
  • tree-crasher: Easy-to-use grammar-based black-box fuzzer
  • tree-splicer: Simple grammar-based test case generator

Writing

Pinned Loading

  1. tree-crasher tree-crasher Public

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

    Rust 71 10

  2. treereduce treereduce Public

    A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars

    C++ 90 7

  3. treeedb treeedb Public

    Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.

    Rust 73 11

  4. lesshand lesshand Public

    A shorthand for the 21st century

    Rust 1

  5. mogglo mogglo Public

    Multi-language AST-based code search and rewriting tool that supports embedding Lua code in patterns

    Rust 30 1

  6. souffle-lint souffle-lint Public

    A linter for Soufflé Datalog

    Rust 14 2