diff --git a/README.md b/README.md index d466170..afeb609 100644 --- a/README.md +++ b/README.md @@ -80,7 +80,9 @@ Exemplary interpreters are available as follows: 1. The [concrete interpreter][riscv-tiny github] bundled with LibRISCV itself 2. A [symbolic interpreter][binsym github] performing [symbolic execution][symbolic execution wikipedia] of RISC-V binary code -3. An interpreter for [code generation][formal-iss github] for RISC-V simulators (uses an older LibRISCV version) +3. A [custom concrete interpreter][riscv-tests interpreter] for [riscv-tests][riscv-tests github] +4. An interpreter for [code generation][formal-iss github] for RISC-V simulators (uses an older LibRISCV version) +5. A primitive implementation of [dynamic information flow tracking][riscv-dift interpreter] (uses an older LibRISCV version) ## Concrete Interpretation @@ -118,7 +120,6 @@ If these dependencies are installed (e.g. if you are using the provided Docker i $ ./riscv-tests/run.sh - ### Development Code should be formatted using [fourmolu][fourmolu github]. @@ -160,6 +161,8 @@ This work was supported in part by the German Federal Ministry of Education and [agra preprint]: https://agra.informatik.uni-bremen.de/doc/konf/TFP23_ST.pdf [haskell edsl]: https://doi.org/10.1007/978-3-031-23669-3_10 [riscv-tiny github]: https://github.com/agra-uni-bremen/libriscv/blob/master/app/Main.hs +[riscv-tests interpreter]: https://github.com/agra-uni-bremen/libriscv/blob/master/riscv-tests/Main.hs +[riscv-dift interpreter]: https://github.com/agra-uni-bremen/libriscv/tree/tfp-2023/example [binsym github]: https://github.com/agra-uni-bremen/binsym [formal-iss github]: https://github.com/agra-uni-bremen/formal-iss [symbolic execution wikipedia]: https://en.wikipedia.org/wiki/Symbolic_execution