RVX-a tool for concolic testing of embedded binaries targeting RISC-V platforms

Paper

First seen 9/28/2026

Last seen 9/28/2026

Evidence 2 chunks

NEIGHBORHOOD

4 nodes · 4 edges

graph · RVX-a tool for concolic testing of embedded binaries targeting RISC-V platforms · depth=1

3 connections

RVX introduces → 93% 1e

The title presents RVX as a tool for concolic testing.

RISC-V targets ISA → 95% 1e

The title explicitly states the tool targets RISC-V platforms.

Concolic Testing uses → 90% 1e

RVX is introduced as a tool specifically for concolic testing, indicating the paper’s technical focus.