santh-writ 0.1.1

CPU symbolic execution + exploit witness construction. Takes a weir-produced source→sink path and returns a concrete input that drives execution to the sink. Z3-backed.
1
2
3
4
5
6
7
8
9

name: ci

on:
  push:
  pull_request:

jobs:
  santh:
    uses: santh-project/santh-ci/.github/workflows/main.yml@v1