Verifying RISC-V Privilege Transition Integrity Through Symbolic Execution.
Shibo TangJiacheng ZhuYifei GaoJing ZhouDejun MuWei HuPublished in: ATS (2023)
Keyphrases
- symbolic execution
- test data generation
- static analysis
- test generation
- specification language
- application specific
- source code
- data flow
- simulated annealing algorithm
- integrity constraints
- programming language
- test cases
- artificial intelligence
- regular expressions
- connected component labeling
- orders of magnitude
- error rate
- building blocks
- particle swarm optimization
- high level