search

tracer-x / TracerX

TracerX Symbolic Virtual Machine
https://tracer-x.github.io/
Other
31 stars 11 forks source link

Add speculation safety fix: #365

Closed xuanlinhha closed 4 years ago

xuanlinhha commented 4 years ago

https://github.com/tracer-x/klee/issues/363#event-3208941364 Hi @rasoolmaghareh , please check again before merging. Thanks.