https://blog.xaviermaso.com/2018/04/15/Setup-a-dev-environment-to-contribute-to-ZAP.html 2018-04-15T00:00:00+00:00 https://blog.xaviermaso.com/2018/05/31/Google-Hangouts-with-Irssi-on-NixOS.html 2018-05-31T00:00:00+00:00 https://blog.xaviermaso.com/2018/06/29/Patch-option-in-Git.html 2018-06-29T00:00:00+00:00 https://blog.xaviermaso.com/2018/10/01/Scanning-modern-web-applications-with-OWASP-ZAP.html 2018-10-01T00:00:00+00:00 https://blog.xaviermaso.com/2019/02/28/NixOS-on-a-Dell-XPS15-9560.html 2019-02-28T00:00:00+00:00 https://blog.xaviermaso.com/2019/11/11/Use-SMT-Solvers-to-generate-crossword-grids-(1).html 2019-11-11T00:00:00+00:00 https://blog.xaviermaso.com/2019/11/12/Use-SMT-Solvers-to-generate-crossword-grids-(2).html 2019-11-12T00:00:00+00:00 https://blog.xaviermaso.com/2019/11/13/Use-SMT-Solvers-to-generate-crossword-grids-(3).html 2019-11-13T00:00:00+00:00 https://blog.xaviermaso.com/2021/02/25/Handle-function-calls-during-static-analysis-with-angr.html 2021-02-25T00:00:00+00:00 https://blog.xaviermaso.com/2024/08/14/Solving-LinkedIn's-Queens-game-with-CodeQL.html 2024-08-14T00:00:00+00:00 https://blog.xaviermaso.com/ https://blog.xaviermaso.com/tags.html