Skip to content
Change the repository type filter

All

    Repositories list

    • example-c

      Public
      An example project for using Microwalk's GitHub Workflow for leakage analysis of compiled code.
      C
      MIT License
      1002Updated Jul 30, 2024Jul 30, 2024
    • Microwalk

      Public
      A microarchitectural leakage detection framework using dynamic instrumentation.
      C#
      MIT License
      96910Updated Jun 5, 2024Jun 5, 2024
    • A demo showing how Microwalk can be used to analyze the WolfSSL library.
      C
      GNU General Public License v2.0
      834000Updated Apr 14, 2023Apr 14, 2023
    • A Github action for analyzing compiled code with the Microwalk Pin backend.
      Shell
      MIT License
      0000Updated Apr 14, 2023Apr 14, 2023
    • An example project for using Microwalk's GitHub Workflow for leakage analysis of JavaScript code.
      JavaScript
      MIT License
      0001Updated May 19, 2022May 19, 2022
    • A Github action for analyzing JavaScript code with the Microwalk Jalangi2 backend.
      Dockerfile
      MIT License
      0000Updated May 19, 2022May 19, 2022