Tags: ZAP angr binary analysis codeql development development z3 git irssi javascript logic programming luks nixos sysadmin