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

Description

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.

Period	21 Oct 2020
Event title	International Symposium on Automated Technology for Verification and Analysis (ATVA)
Event type	Conference
Location	AustriaShow on map