Microwalk

Microwalk's repositories

A microarchitectural leakage detection framework using dynamic instrumentation.

Language:C#MIT68 6 12

An example project for using Microwalk's GitHub Workflow for leakage analysis of compiled code.

Language:CMIT020

An example project for using Microwalk's GitHub Workflow for leakage analysis of JavaScript code.

Language:JavaScriptMIT020

A Github action for analyzing JavaScript code with the Microwalk Jalangi2 backend.

Language:DockerfileMIT020

A Github action for analyzing compiled code with the Microwalk Pin backend.

Language:ShellMIT02 1

A demo showing how Microwalk can be used to analyze the WolfSSL library.

Language:CGPL-2.0000