Skip to content

@purs3lab purs3lab

Change the repository type filter

All

    Repositories list

    60 repositories

    • LLMs4GitHubWorkflows

      Public
      Python
      •
      BSD 2-Clause "Simplified" License
      •0•3•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
      •193•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
      •23•0•0•0•Updated Nov 7, 2024Nov 7, 2024

    • ee469

      Public
      Operating Systems Engineering.
      Pascal
      •
      MIT License
      •4•1•0•0•Updated Oct 25, 2024Oct 25, 2024

    • ardupilot

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

    • purs3lab.github.io

      Public
      Purdue Systems and Software Security Lab
      SCSS
      •1.2k•0•0•0•Updated Sep 25, 2024Sep 25, 2024

    • cargo

      Public
      The Rust package manager
      Rust
      •
      Apache License 2.0
      •2.4k•0•0•0•Updated Sep 25, 2024Sep 25, 2024

    • Argus

      Public
      Python
      •9•41•0•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
      •41•0•0•0•Updated Apr 14, 2024Apr 14, 2024

    • binbench-llvm

      Public
      Modified LLVM for BinBench
      12k•0•0•0•Updated Mar 15, 2024Mar 15, 2024

    • ee469_examples

      Public
      All examples related to ee469
      C
      •0•2•0•0•Updated Feb 22, 2024Feb 22, 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.6k•0•0•0•Updated Jan 31, 2024Jan 31, 2024

    • linux-playground

      Public
      Linux kernel playground
      Shell
      •4•4•0•0•Updated Jan 27, 2024Jan 27, 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
      •52•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.1k•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.
      77•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

    • reading-group

      Public
      A weekly reading group on security and privacy.
      HTML
      •0•0•0•0•Updated Sep 7, 2023Sep 7, 2023

    • .github

      Public
      Description
      0•0•0•0•Updated Aug 9, 2023Aug 9, 2023

    • Argus_artifacts

      Public
      Artifacts for the ARGUS paper
      0•1•0•0•Updated Jun 21, 2023Jun 21, 2023

    • qrates

      Public
      A framework for large scale analysis of the Rust ecosystem.
      Jupyter Notebook
      •
      MIT License
      •9•0•0•0•Updated May 13, 2023May 13, 2023

    • ece264

      Public
      Advanced C Programming
      Pascal
      •
      MIT License
      •4•0•0•0•Updated Apr 27, 2023Apr 27, 2023

    • filter-sarif

      Public
      GitHub Action for filtering Code Scanning alerts by path and id
      Java
      •
      Apache License 2.0
      •8•0•0•0•Updated Apr 27, 2023Apr 27, 2023

    • compsac19

      Public
      Temporary repository for double-blind review process of compsac19
      C
      •2•0•0•0•Updated Apr 2, 2023Apr 2, 2023

    • linguist-python

      Public
      Detect repo language(s) with thin Python wrapper of Github Linguist
      Python
      •
      MIT License
      •4•0•0•0•Updated Nov 15, 2022Nov 15, 2022

    • codeql_training

      Public
      Code QL Training
      0•0•0•0•Updated Sep 29, 2022Sep 29, 2022

    • 3clsp

      Public
      The LSP interaction tool for 3C
      compilervscodecommand-line-toollsp-server
      HTML
      •
      Apache License 2.0
      •0•1•0•0•Updated Sep 3, 2022Sep 3, 2022