Skip to content

@purs3lab purs3lab

Change the repository type filter

All

    Repositories list

    77 repositories

    • nostdbuild

      Public
      Automatically compling Rust crate for Nostd.
      Rust
      •1•0•0•0•Updated Mar 25, 2026Mar 25, 2026

    • ee469

      Public
      Operating Systems Engineering.
      Pascal
      •
      MIT License
      •5•2•0•0•Updated Mar 23, 2026Mar 23, 2026

    • linux-playground

      Public
      Linux kernel playground
      C
      •5•5•0•0•Updated Feb 26, 2026Feb 26, 2026

    • c2saferrust

      Public
      Rust
      •13•0•0•0•Updated Jan 28, 2026Jan 28, 2026

    • LLVMPlayground

      Public
      LLVM Playground lab
      C++
      •7•0•0•0•Updated Dec 4, 2025Dec 4, 2025

    • hss

      Public
      Feature-rich and easy-to-use Jekyll template for the websites of academic courses
      SCSS
      •
      MIT License
      •258•0•0•0•Updated Dec 1, 2025Dec 1, 2025

    • metadrive

      Public
      MetaDrive: Lightweight driving simulator for everyone
      Python
      •
      Apache License 2.0
      •178•0•0•0•Updated Nov 18, 2025Nov 18, 2025

    • ctf-package

      Public
      Python
      •0•0•0•0•Updated Nov 8, 2025Nov 8, 2025

    • rustc_plugin

      Public
      (Modified for Aunor) -- A framework for writing plugins that integrate with the Rust compiler
      Rust
      •
      MIT License
      •29•0•0•0•Updated Sep 4, 2025Sep 4, 2025

    • rustfix

      Public
      rustfix crate, vendored from cargo -- modified for Aunor
      Rust
      •0•0•0•0•Updated Aug 30, 2025Aug 30, 2025

    • purs3lab.github.io

      Public
      Purdue Systems and Software Security Lab
      SCSS
      •1.3k•0•0•0•Updated Jun 13, 2025Jun 13, 2025

    • Binge-Cornucopia

      Public
      A Framework for Feedback Guided Generation of Binaries
      C++
      •
      MIT License
      •1•0•0•0•Updated Jun 2, 2025Jun 2, 2025

    • binbench-llvm

      Public
      Modified LLVM for BinBench
      17k•0•0•0•Updated May 21, 2025May 21, 2025

    • cargo

      Public
      The Rust package manager
      Rust
      •
      Apache License 2.0
      •2.9k•0•0•0•Updated May 15, 2025May 15, 2025

    • carla

      Public
      Open-source simulator for autonomous driving research.
      C++
      •
      MIT License
      •4.5k•0•0•0•Updated May 12, 2025May 12, 2025

    • ISSTA-2025-EMBOSS-Artifact

      Public
      Artifact of "Finding 709 Defects in 258 Projects: An Experience Report on Applying CodeQL to Open-Source Embedded Software (Experience Paper)"
      Dockerfile
      •0•0•0•0•Updated Apr 24, 2025Apr 24, 2025

    • scanner-workflows

      Public
      Shell
      •1•1•0•0•Updated Apr 10, 2025Apr 10, 2025

    • ArduSVF

      Public
      Modified version of PurSecLab's SVF for ArduPilot risky component analysis
      C++
      •
      Other
      •0•0•0•0•Updated Feb 18, 2025Feb 18, 2025

    • ee469_examples

      Public
      All examples related to ee469
      C
      •0•2•0•0•Updated Feb 17, 2025Feb 17, 2025

    • simcrat

      Public
      Signature-Modernizing C-to-Rust Automatic Translator
      Rust
      •
      MIT License
      •6•0•0•0•Updated Jan 10, 2025Jan 10, 2025

    • crown

      Public
      Ownership analysis that helps translating C to Rust
      Rust
      •8•0•0•0•Updated Jan 1, 2025Jan 1, 2025

    • vanir

      Public
      Vanir is a source code-based static analysis tool that automatically identifies the list of missing security patches in the target system. By default, Vanir pul…
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •34•0•0•0•Updated Dec 24, 2024Dec 24, 2024

    • LLMs4GitHubWorkflows

      Public
      Python
      •
      BSD 2-Clause "Simplified" License
      •1•4•0•0•Updated Dec 2, 2024Dec 2, 2024

    • Argus_website

      Public
      Website for our Usenix'23 paper - ARGUS: A Framework for Staged Static Taint Analysis of GitHub Workflows and Actions
      HTML
      •
      Apache License 2.0
      •0•2•0•0•Updated Nov 25, 2024Nov 25, 2024

    • underTheHoodOfExecutables

      Public
      A comprehensive guide that explains how programs transform from source code to executables. Deep dive into ELF format, linking processes, and binary optimizatio…
      HTML
      •
      MIT License
      •39•0•0•0•Updated Nov 7, 2024Nov 7, 2024

    • ardupilot

      Public
      ArduPlane, ArduCopter, ArduRover, ArduSub source
      C++
      •
      GNU General Public License v3.0
      •21k•0•0•0•Updated Oct 18, 2024Oct 18, 2024

    • Argus

      Public
      Python
      •15•53•1•0•Updated Jul 11, 2024Jul 11, 2024

    • scan2

      Public
      Rust
      •0•0•0•0•Updated Jun 24, 2024Jun 24, 2024

    • POSSE-secure-workflows

      Public
      Static analysis on GitHub Actions workflows of popular repositories
      Python
      •0•1•0•0•Updated May 8, 2024May 8, 2024

    • rustwide

      Public
      Execute your code on the Rust ecosystem.
      Rust
      •
      Apache License 2.0
      •44•0•0•0•Updated Apr 14, 2024Apr 14, 2024
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.