Skip to content

@purs3lab purs3lab

Change the repository type filter

All

    Repositories list

    70 repositories

    • nostdbuild

      Public
      Automatically compling Rust crate for Nostd.
      Rust
      •1•0•0•0•Updated Jul 31, 2025Jul 31, 2025

    • purs3lab.github.io

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

    • rustfix

      Public
      rustfix crate, vendored from cargo -- modified for Aunor
      Rust
      •0•0•0•0•Updated Jun 11, 2025Jun 11, 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
      15k•0•0•0•Updated May 21, 2025May 21, 2025

    • cargo

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

    • carla

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

    • ee469

      Public
      Operating Systems Engineering.
      Pascal
      •
      MIT License
      •5•1•0•0•Updated Apr 29, 2025Apr 29, 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

    • linux-playground

      Public
      Linux kernel playground
      C
      •4•4•0•0•Updated Feb 4, 2025Feb 4, 2025

    • simcrat

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

    • crown

      Public
      Ownership analysis that helps translating C to Rust
      Rust
      •6•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 pulls up-to-date CVEs from Open Source Vulnerabilities (OSV) together with their corresponding signatures so that users can transparently scan missing patches for an up-to-date list of CVEs.
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •29•0•0•0•Updated Dec 24, 2024Dec 24, 2024

    • LLMs4GitHubWorkflows

      Public
      Python
      •
      BSD 2-Clause "Simplified" License
      •0•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

    • hss

      Public
      Feature-rich and easy-to-use Jekyll template for the websites of academic courses
      SCSS
      •
      MIT License
      •225•0•0•0•Updated Nov 17, 2024Nov 17, 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 optimization techniques. Perfect for systems programmers, C developers, and anyone interested in low-level programming concepts.
      HTML
      •
      MIT License
      •35•0•0•0•Updated Nov 7, 2024Nov 7, 2024

    • ardupilot

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

    • Argus

      Public
      Python
      •13•48•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

    • codeql

      Public
      CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security
      CodeQL
      •
      MIT License
      •1.8k•0•0•0•Updated Jan 31, 2024Jan 31, 2024

    • alpha-omega

      Public
      Protect society by improving the security of open source software through direct maintainer engagement and expert analysis.
      Open Policy Agent
      •
      Apache License 2.0
      •59•0•0•0•Updated Jan 21, 2024Jan 21, 2024

    • FuzzERR_AFLplusplus

      Public
      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!
      C
      •
      Apache License 2.0
      •1.2k•1•0•0•Updated Dec 11, 2023Dec 11, 2023

    • HandlERR

      Public
      This is the primary development repository for 3C, a tool for automatically converting legacy C code to the Checked C extension of C, which aims to enforce spatial memory safety. This repository is a fork of Checked C's.
      78•2•0•0•Updated Dec 10, 2023Dec 10, 2023

    • apt-scraper-utils

      Public
      Utils to get debian packages
      Python
      •4•1•0•1•Updated Nov 11, 2023Nov 11, 2023