4 ms·
Can you clarify - does this ship with 0.9.4.1, or is there any procedure for using it beyond the standard Infer invocation?
by technion 10y ago
Can you clarify - does this ship with 0.9.4.1, or is there any procedure for using it beyond the standard Infer invocation?
- _shb 10y agoI added some documentation on using Inferbo and other experimental checkers we are working on: http://fbinfer.com/docs/experimental-checkers.html http://fbinfer.com/docs/experimental-checkers.html. All you need to do to use Inferbo is add `-a bufferoverrun` to your normal Infer command. Inferbo isn't included in 0.9.4.1, but we'll be creating a new release soon.