Programming
CodeQL: Eindhoven Quantifier Notation
Sep 10, 2024
This blog post will discuss about Eindhoven Quantifier Notation adopted by CodeQL
This blog post will discuss about semi-autonomous way to perform security code reviews
Defining Boundaries & Sinks for Inter-procedural Source Sink Analysis - Part 3
Deep dive on Android Java / Kotlin Deserialization Code Execution with Semgrep Detection
Jan 24, 2024
Code Execution via Java & Kotlin Deserialization in Android Application
Building Inter-procedural Source Sink Analysis from Scratch - Part 2
Building a simple source sink analysis in Java from scratch.
Discover how Cody AI, the magic AI Assistant, helped me seamlessly upgrade my web app from ArcGIS to Mapbox map, making it responsive for mobile users.
Binary Search and Hidden Overflow 🪲
Dec 4, 2022
Interesting post on integer overflow while performing a basic binary search