user3564532
Reputation: 27
Symbolic Execution/Concolic Testing on OS Kernel
Is it possible to run Symbolic execution on Linux Kernel or parts of it? What about Concolic Testing? Thanks!
Upvotes: 0
Views: 865
Answers (1)
JC1
Reputation: 686
Yes.
You can use S2E [1] to analyze binaries in-vivo (within a full software stack). Symbolic execution is S2E's default mode but you can also do concolic testing without much effort.
Upvotes: 0
Related Questions
- How is the Linux kernel tested?
- C embedded automatic unit test generation
- How is Symbolic Execution different from Whitebox Fuzzing?
- error detection in static analysis and symbolic execution
- Static analysis vs. symbolic execution in implementation
- implement symbolic execution without model-checking
- application of symbolic execution
- symbolic execution and model-checking
- Modern symbolic execution techniques
- Using the check test unit framework in an embedded device?