MaatStats class
A static global class for introspection in Maat, used to record
various statistics during execution.
❱ Attributes
- int executed_insts
- Total number of assembly instructions symbolically executed
- int executed_ir_insts
- Total number of IR instructions executed
- int lifted_insts
- Total number of assembly instructions lifted to IR
- int symptr_read_total_time
- Total time spent refining symbolic pointer reads (in milliseconds)
- int symptr_read_average_time
- Average time spent solving symbolic pointer reads (in milliseconds)
- int symptr_read_average_range
- Average range of symbolic pointer reads
- int symptr_read_count
- Total number of symbolic pointer reads
- int symptr_write_total_time
- Total time spent solving symbolic pointer writes (in milliseconds)
- int symptr_write_average_time
- Average time spent solving symbolic pointer rwrites (in milliseconds)
- int symptr_write_average_range
- Average range of symbolic pointer writes
- int symptr_write_count
- Total number of symbolic pointer writes
- int solver_total_time
- Total time spend solving symbolic constraints (in milliseconds)
- int solver_average_time
- Average time spend solving symbolic constraints (in milliseconds)
- int solver_calls_count
- Total number of calls to the solver
❱ Methods
reset()
Reset all stats