Vladimir Herdt, Daniel Große, Rolf Drechsler,
"RVX - A Tool for Concolic Testing of Embedded Binaries Targeting RISC-V Platforms"
: The 18th International Symposium on Automated Technology for Verification and Analysis (ATVA), 2020
RVX - A Tool for Concolic Testing of Embedded Binaries Targeting RISC-V Platforms
Sprache des Titels:
The 18th International Symposium on Automated Technology for Verification and Analysis (ATVA)
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-V RV32IMC 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 peripherals into the concolic simulation. The experiments demonstrate the applicability and efficiency of RVX in analyzing real-world embedded applications. In addition, we found a new serious bug in the RISC-V port of the newlib C library.