Poster: Combining Fuzzing with Concolic Execution for IoT Firmware Testing.
随着物联网（IoT）设备在无人驾驶、建筑、机器人等对精细化要求较高的行业中广泛部署，其安全性却因设备类型多样、固件执行环境复杂而严重滞后于产业发展。现有固件安全测试方法主要分为直接连接真实设备和部分模拟（partial emulation）
#concolic-execution
共收录 2 条相关情报。
← 返回所有主题From TinyGo to gc Compiler: Extending Zorya's Concolic Framework to Real-World Go Binaries
本文介绍了 Zorya 符号执行框架的扩展，使其能够处理由 Go 标准 gc 编译器生成的多线程二进制文件。Zorya 框架最初仅支持单线程 TinyGo 二进制，通过将二进制提升到 Ghidra 的 P-Code 中间表示，并利用 Z3