├── .gitignore ├── ChangeLog.md ├── LICENSE ├── Makefile ├── README.md ├── Setup.hs ├── app └── RunChallenge.hs ├── package.yaml ├── src ├── Arch │ └── WASM │ │ └── Instructions.hs ├── Domain │ ├── Multipath.hs │ ├── Symbolic.hs │ └── Taint.hs └── Symb │ └── Expression.hs ├── stack.yaml ├── test └── Spec.hs └── toy-wasm-symbex.cabal /.gitignore: -------------------------------------------------------------------------------- 1 | .stack-work/ 2 | *~ 3 | data/ 4 | -------------------------------------------------------------------------------- /ChangeLog.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/synacktiv/toy-wasm-symbexp/HEAD/ChangeLog.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/synacktiv/toy-wasm-symbexp/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/synacktiv/toy-wasm-symbexp/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/synacktiv/toy-wasm-symbexp/HEAD/README.md -------------------------------------------------------------------------------- /Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /app/RunChallenge.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/synacktiv/toy-wasm-symbexp/HEAD/app/RunChallenge.hs -------------------------------------------------------------------------------- /package.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/synacktiv/toy-wasm-symbexp/HEAD/package.yaml -------------------------------------------------------------------------------- /src/Arch/WASM/Instructions.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/synacktiv/toy-wasm-symbexp/HEAD/src/Arch/WASM/Instructions.hs -------------------------------------------------------------------------------- /src/Domain/Multipath.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/synacktiv/toy-wasm-symbexp/HEAD/src/Domain/Multipath.hs -------------------------------------------------------------------------------- /src/Domain/Symbolic.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/synacktiv/toy-wasm-symbexp/HEAD/src/Domain/Symbolic.hs -------------------------------------------------------------------------------- /src/Domain/Taint.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/synacktiv/toy-wasm-symbexp/HEAD/src/Domain/Taint.hs -------------------------------------------------------------------------------- /src/Symb/Expression.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/synacktiv/toy-wasm-symbexp/HEAD/src/Symb/Expression.hs -------------------------------------------------------------------------------- /stack.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/synacktiv/toy-wasm-symbexp/HEAD/stack.yaml -------------------------------------------------------------------------------- /test/Spec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/synacktiv/toy-wasm-symbexp/HEAD/test/Spec.hs -------------------------------------------------------------------------------- /toy-wasm-symbex.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/synacktiv/toy-wasm-symbexp/HEAD/toy-wasm-symbex.cabal --------------------------------------------------------------------------------