Linear-Time Static Analysis of RISC-V Binary Code

This release is referenced in the bachelor thesis titled "Linear-Time Static Analysis of RISC-V Binary Code" by Thomas Wulz.