search

zeek / package-manager

A package manager for Zeek
https://docs.zeek.org/projects/package-manager
Other
42 stars 27 forks source link

Tweaks to appease CodeQL #150

Closed ckreibich closed 1 year ago

ckreibich commented 1 year ago

These changes silence the remaining warnings triggered by CodeQL.

ckreibich commented 1 year ago

I'm all for running additional linters, possibly instead of CodeQL. I'm considering this an experiment since I'm unimpressed by CodeQL — in particular its decision to remove in-code annotations strikes me as plain wrong. I could see ditching it later in favor of other tools.