angr.procedures.libc.vprintf

angr.procedures.libc.vprintf.unmodeled_format_length(proc, fmt)

Return strlen(fmt) for a v*printf procedure, which copies its format as is: angr does not model va_list, so conversions are not substituted. Warns once per procedure when a concrete format contains a ‘%’.

Parameters:

proc (SimProcedure)

angr.procedures.libc.vprintf.as_return(proc, value)

Fit a length to the procedure’s return type: glibc declares the v*printf family as returning int.

Parameters:

proc (SimProcedure)

class angr.procedures.libc.vprintf.vprintf

Bases: SimProcedure