List of Tags

ZAP

• Scanning "modern" web applications with OWASP ZAP (01 Oct 2018)

• Setup a dev environment to contribute to ZAP (15 Apr 2018)

angr

• Handle function calls during static analysis in angr (25 Feb 2021)

binary analysis

• Handle function calls during static analysis in angr (25 Feb 2021)

codeql

• Solving LinkedIn's Queens game with CodeQL (14 Aug 2024)

development

• Solving LinkedIn's Queens game with CodeQL (14 Aug 2024)

• Handle function calls during static analysis in angr (25 Feb 2021)

• Use SMT Solvers to generate crossword grids (3) (13 Nov 2019)

• Use SMT Solvers to generate crossword grids (2) (12 Nov 2019)

• Use SMT Solvers to generate crossword grids (1) (11 Nov 2019)

• Scanning "modern" web applications with OWASP ZAP (01 Oct 2018)

• Patch option in Git (29 Jun 2018)

• Setup a dev environment to contribute to ZAP (15 Apr 2018)

git

• Patch option in Git (29 Jun 2018)

irssi

• Google Hangouts with Irssi on Nixos (31 May 2018)

javascript

• Scanning "modern" web applications with OWASP ZAP (01 Oct 2018)

logic programming

• Solving LinkedIn's Queens game with CodeQL (14 Aug 2024)

luks

• NixOS on a Dell XPS15 9560 (28 Feb 2019)

nixos

• NixOS on a Dell XPS15 9560 (28 Feb 2019)

• Google Hangouts with Irssi on Nixos (31 May 2018)

sysadmin

• NixOS on a Dell XPS15 9560 (28 Feb 2019)

z3

• Use SMT Solvers to generate crossword grids (3) (13 Nov 2019)

• Use SMT Solvers to generate crossword grids (2) (12 Nov 2019)

• Use SMT Solvers to generate crossword grids (1) (11 Nov 2019)