Anyway to use Seer for concolic testing?

[minhnhdo]

Hi, I'd like to use seer for concolic testing. However, the examples are all code with main functions, and do not show how to hook into the engine for extension. I'd like to run concolic testing on library functions rather than whole programs. Could you please give me some pointers on how to achieve this?

[dwrensha]

I'd like to run concolic testing on library functions rather than whole programs.

Seer's logic for choosing what code to execute is here:

seer/src/driver.rs

Line 71 in 0b67693

if let Some((entry_node_id, _)) = *state.session.entry_fn.borrow() {

We could add the ability to run functions that have a certain attribute. E.g. Miri has the ability to run functions that are marked #[test]: https://github.com/solson/miri/blob/919604e1ead8294c8ca14f101be4380ea1ea370c/miri/bin/miri.rs#L110-L124