Assertions of all constants should not be saved

falconre / falcon

Binary Analysis Framework in Rust

Apache License 2.0

551 stars 45 forks source link

Assertions of all constants should not be saved #15

Closed endeav0r closed 7 years ago

endeav0r commented 7 years ago

falcon::engine::SymbolicEngine should not save assertions is those assertions are just all constants. Only assertions over symbolic variables should be saved.

endeav0r commented 7 years ago

This was closed in 8a0e6350f7cd397245ad1d5cf1ebfb648097d6da