Presentation
Development of SystemC-based Security VP for In-House SED SSD Firmware Verification and Application of libFuzzer
DescriptionDue to difficulties in supporting Open Source Project in the Embedded System environment and limitations in applying fuzzing technology, we used SystemC-based full-path SSD VP, but it was not easy to apply due to performance issues and many unnecessary functions for SED verification.
Accordingly, we developed Security VP by removing unnecessary parts and introduced State Machine-based libFuzzer to improve the problem.
As a result, the execution time of Security VP was shortened to 82.5% compared to full-path VP, and code coverage was improved by 15.2%. In particular, the number of commands used to achieve specific coverage was reduced by 98.7%, and the number of commands used to achieve overall coverage was also reduced by 85.4%.
Accordingly, we developed Security VP by removing unnecessary parts and introduced State Machine-based libFuzzer to improve the problem.
As a result, the execution time of Security VP was shortened to 82.5% compared to full-path VP, and code coverage was improved by 15.2%. In particular, the number of commands used to achieve specific coverage was reduced by 98.7%, and the number of commands used to achieve overall coverage was also reduced by 85.4%.
Presenter
Event Type
Embedded Systems and Software
TimeWednesday, June 262:30pm - 2:45pm PDT
Location2010, 2nd Floor
AI
Embedded Systems
Engineering Tracks