policy/misc/profiling.zeek

Profiling

Turns on profiling of Zeek resource consumption.

Namespace

Profiling

Summary

Redefinitions

expensive_profiling_multiple: count &redef

Set the expensive profiling interval (multiple of profiling_interval).

profiling_file: file &redef

Set the profiling output file.

profiling_interval: interval &redef

Set the cheap profiling interval.

Detailed Interface