Skip to content
View langston-barrett's full-sized avatar
244 followers · 216 following

Achievements

Achievement: Pair Extraordinairex2Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx4Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Achievements

Achievement: Pair Extraordinairex2Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx4Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2

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

  • MATE: A suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs
  • cclyzer++: a precise and scalable global pointer analysis for LLVM code
  • Mogglo: Multi-language AST-based code search and rewriting tool that supports embedding Lua code in patterns
  • treereduce: A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
  • tree-splicer: Simple grammar-based test case generator (black-box fuzzer)

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 68 9

  2. treereduce treereduce Public

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

    C++ 77 7

  3. treeedb treeedb Public

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

    Rust 67 9

  4. mogglo mogglo Public

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

    Rust 30 1

  5. souffle-lint souffle-lint Public

    A linter for Soufflé Datalog

    Rust 13 1