Skip to content

@ISU-PAAL Iowa State University Program Analysis & AI Lab

Change the repository type filter

All

    Repositories list

    4 repositories

    • soft-assertion-fuzzer

      Public
      Detect numerical instability in ML applications using learned invariants (Soft Assertions) without modifying model logic. ACM FSE 2025.
      machine-learningfuzzingrobustness
      machine-learningfuzzingrobustnessfuzzing-frameworknumerical-stability
      Python
      •
      MIT License
      •0•1•1•0•Updated Jun 25, 2025Jun 25, 2025

    • DeepDFA

      Public
      Replication package for "Dataflow Analysis-Inspired Deep Learning for Efficient Vulnerability Detection", ICSE 2024.
      Python
      •
      MIT License
      •18•75•3•0•Updated Sep 24, 2024Sep 24, 2024

    • DL-VD-Empirical-Study

      Public
      Code for "An Empirical Study of Deep Learning Models for Vulnerability Detection", published in ICSE 2023.
      Jupyter Notebook
      •2•6•1•0•Updated Jun 23, 2024Jun 23, 2024

    • .github

      Public
      0•0•0•0•Updated Sep 20, 2023Sep 20, 2023
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.