Hackernews posts about CodeQL

  1. Show HN: Codeflowmap – map a codebase's read/write/auth data flows (github.com)
    7 points by brian-m 16 days ago | discuss
  2. Show HN: CodexL – All-in-one launcher for Codex (github.com)
    2 points by musistudio 28 days ago | discuss
  3. Show HN: Talos – Open-source WASM interpreter for Lean (github.com)
    106 points by mfornet 18 days ago | 28 comments
  4. Show HN: Catch abnormal usage of your API keys on Google Cloud (codelabs.developers.google.com)
    2 points by minherz 14 days ago | 1 comments
  5. Liquid glass that bends the page behind it as you scroll (codequest.work)
    3 points by ORECTIC 17 days ago | discuss
  6. Grid Generator (codequest.work)
    2 points by ORECTIC 15 days ago | discuss
  7. The Things We Share (codeplusconduct.substack.com)
    2 points by mooreds 15 days ago | discuss
  8. Liquid Glass Generator – Recreate Apple's Liquid Glass UI with WebGL (Free) (codequest.work)
    2 points by ORECTIC 19 days ago | discuss
  9. Code Club – A 100% offline-first IDE from arg (www.codeclubide.com)
    1 points by iangelarg 7 days ago | 1 comments
  10. Free Image Compressor and WebP/AVIF Converter – Runs in the Browser (codequest.work)
    1 points by ORECTIC 19 days ago | discuss
  11. Frame: Grounding LLM Vulnerability Detection with a Sound Separation-Logic Core (lambdasec.github.io)
    2 points by codelion 4 days ago | discuss
  12. Mlx-optiq: per-layer mixed-precision LLM quantization for Apple Silicon (mlx-optiq.com)
    2 points by codelion 22 days ago | discuss
  13. Public secrets exposure leads to supply chain attack on GitHub CodeQL (www.praetorian.com)
    297 points by cyberbender over 1 year ago | 61 comments
  14. Show HN: CyScout – Solidity Vulnerability Detection Powered by GitHub CodeQL (github.com)
    13 points by wslh over 1 year ago | discuss
  15. We Benchmarked Claude Code, Codex, Semgrep, CodeQL, Trent on 28 CWE-Bench CVEs (trent.ai)
    6 points by geopsist about 1 month ago | 2 comments
  16. Security Auditing Solidity Codebases with GitHub CodeQL (www.coinfabrik.com)
    5 points by wslh almost 2 years ago | discuss
  17. Incident with CodeQL (www.githubstatus.com)
    4 points by chenrui about 2 months ago | discuss
  18. CodeQL (codeql.github.com)
    4 points by handfuloflight about 1 year ago | discuss
  19. Mrva: Terminal-first approach to CodeQL multi-repo variant analysis (blog.trailofbits.com)
    3 points by ingve 7 months ago | 1 comments
  20. Show HN: Open-Source CodeQL Alternative (github.com)
    3 points by shivasurya over 1 year ago | discuss
  21. OpenVPN2 Security: Taming 2,500 compiler warnings with CodeQL (blog.trailofbits.com)
    2 points by summarity 9 months ago | discuss
  22. Finding Bugs in Chrome with CodeQL (bughunters.google.com)
    2 points by todsacerdoti over 1 year ago | discuss
  23. CodeQL: Eindhoven Quantifier Notation (shivasurya.me)
    2 points by codepathfinder almost 2 years ago | discuss
  24. Show HN: Patchsmith – Agentic wrapper for CodeQL (finetune, triage, fix with AI) (github.com)
    1 points by eschnou 8 months ago | 1 comments
  25. CodeQL (github.com)
    1 points by zwc almost 2 years ago | 1 comments
  26. Vulnhalla: Picking the true vulnerabilities from the CodeQL haystack (www.cyberark.com)
    1 points by asphinx 6 months ago | discuss
  27. What to Do When Creating Your CodeQL Database Fails – and How to Report the Per (intrigus.org)
    1 points by todsacerdoti 7 months ago | discuss
  28. GitHub CodeQL Now Supports Rust for Security and Variant Analysis (github.blog)
    1 points by summarity about 1 year ago | discuss
  29. Ask HN: How are you LLM-coding in an established code base?
    70 points by adam_gyroscope 7 months ago | 66 comments
  30. Show HN: MCP Security Suite (github.com)
    36 points by jodoking 11 months ago | 32 comments
  31. Show HN: 165k lines, 9 days, one dev I built what ICE sells to hedge funds (web-production-71423.up.railway.app)
    3 points by Shmungus 5 months ago | discuss
  32. Show HN: Secure SDLC Agents for Claude and Cursor (MCP) (github.com)
    1 points by kirumachi 3 months ago | discuss
  33. Show HN: ShadowStrike – Windows EDR Post-Analysis
    1 points by Soocile 4 months ago | discuss
  34. Show HN: RMA Dashboard fast SAST results for monorepos (SARIF and triage) (rma-dashboard.bukhari-kibuka7.workers.dev)
    1 points by bumahkib7 5 months ago | discuss
  35. Ask HN: Variable Trace
    1 points by thangalin 6 months ago | discuss
  36. Show HN: CodeRLM – Tree-sitter-backed code indexing for LLM agents (github.com)
    81 points by jared_stewart 5 months ago | 37 comments
  37. Show HN: CodeLeash: framework for quality agent development, NOT an orchestrator (codeleash.dev)
    12 points by cadamsdotcom 4 months ago | 4 comments
  38. Codeflash: Automated performance optimization for Python programs (github.com)
    7 points by misrasaurabh1 about 1 year ago | discuss
  39. Codeless: From Idea to Software (www.anildash.com)
    6 points by janpio 5 months ago | discuss
  40. Show HN: Codelegate, keyboard-driven coding agent orchestrator GUI for Mac/Linux (codelegate.dev)
    5 points by brucehsu 4 months ago | discuss
  41. Show HN: CodeLayers – See your codebase's dependency layers in 3D (codelayers.ai)
    5 points by lnguyen11288 5 months ago | discuss
  42. Show HN: CodeLens.AI– Community benchmark comparing 6 LLMs on real code tasks (codelens.ai)
    5 points by skrid 9 months ago | discuss