SymbCallHooks (B2R2)

SymbCallHooks Module

Built-in symbolic call hook models.

Function or value	Description
`defaultStringBound` Full Usage: `defaultStringBound` Returns: `int`	Returns: `int`
`strlen ctx st` Full Usage: `strlen ctx st` Parameters: ctx : `SymbCallContext` st : `SymbState` Returns: `Result<SymbState list, SymbEvalError>`	Models strlen using the default string bound. ctx : `SymbCallContext` st : `SymbState` Returns: `Result<SymbState list, SymbEvalError>`
`strlenBounded maxScan ctx st` Full Usage: `strlenBounded maxScan ctx st` Parameters: maxScan : `int` ctx : `SymbCallContext` st : `SymbState` Returns: `Result<SymbState list, SymbEvalError>`	Default maximum symbolic C-string payload size. Models strlen by generating possible null-terminator positions. maxScan : `int` ctx : `SymbCallContext` st : `SymbState` Returns: `Result<SymbState list, SymbEvalError>`