Publikation

RVX - A Tool for Concolic Testing of Embedded Binaries Targeting RISC-V Platforms

Vladimir Herdt, Daniel Große, Rolf Drechsler

In: 18ᵗʰ International Symposium on Automated Technology for Verification and Analysis. International Symposium on Automated Technology for Verification and Analysis (ATVA-2020) October 19-23 Hanoi Vietnam 2020.

Abstrakt

We present RVX, a tool for concolic testing of embedded binaries targeting RISC-V platforms with peripherals. RVX integrates the Concolic Testing Engine(CTE) with an Instruction Set Simulator(ISS) supporting the RISC-VRV32 IMC Instruction Set Architecture (ISA). Further, RVX provides a designated CTE-interface for additional extensions. It is an extensible command layer that provides support for verification functions and enables integration of periph-erals into the concolic simulation. The experiments demonstrate the applicabilityand efficiency of RVX in analyzing real-world embedded applications. In addition, we found a new serious bug in the RISC-V port of the new libC library.

Projekte

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence