Mirror/zeek
1
0
Fork 0
mirror of https://github.com/zeek/zeek.git synced 2025-10-02 14:48:21 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

avoid script coverage overhead (especially memory) when using ZAM

Browse source
This commit is contained in:
Vern Paxson 2023-07-20 10:28:33 -07:00
parent 3f64858335
commit 2355f5af47
2 changed files with 7 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/ScriptCoverageManager.cc
View file

@ -11,6 +11,7 @@
#include "zeek/Desc.h"
#include "zeek/Reporter.h"
#include "zeek/Type.h"
#include "zeek/script_opt/ScriptOpt.h"
using namespace std;
@ -21,7 +22,7 @@ ScriptCoverageManager::ScriptCoverageManager() : ignoring(0), delim('\t') { }
void ScriptCoverageManager::AddStmt(Stmt* s)
{
if ( ignoring != 0 )
if ( ignoring != 0 || analysis_options.gen_ZAM )
return;
stmts.emplace_back(NewRef{}, s);
@ -29,6 +30,9 @@ void ScriptCoverageManager::AddStmt(Stmt* s)
void ScriptCoverageManager::AddFunction(IDPtr func_id, StmtPtr body)
{
if ( analysis_options.gen_ZAM )
return;
func_instances.emplace_back(func_id, body);
}