Can you clarify - does this ship with 0.9.4.1, or is there any procedure for using it beyond the standard Infer invocation?
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.