⭐ 12,128 (+11)
🗒 OCaml
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
🚀 Semgrep: OCaml-Powered Code Analysis 🔍
Semgrep is a fast, open-source static analysis tool, written in OCaml, that supports over 30 programming languages. Trusted by companies like Dropbox and Snowflake, it has performed over 75 million scans across millions of projects.
👉 Semgrep.dev
🚀 Semgrep: OCaml-Powered Code Analysis 🔍
Semgrep is a fast, open-source static analysis tool, written in OCaml, that supports over 30 programming languages. Trusted by companies like Dropbox and Snowflake, it has performed over 75 million scans across millions of projects.
👉 Semgrep.dev
semgrep.dev/blog/2025/up...
They’ve had to do a bit of work to get a GC spacetime behaviour that matches OCaml 4. This feels like an issue with OCaml 5 GC scheduling. Needs investigation.
semgrep.dev/blog/2025/up...
They’ve had to do a bit of work to get a GC spacetime behaviour that matches OCaml 4. This feels like an issue with OCaml 5 GC scheduling. Needs investigation.
Uses word list from inclusivenaming.org
gitlab.com/SuperTeece/i...
Uses word list from inclusivenaming.org
gitlab.com/SuperTeece/i...
Busy week! AI, AI, AI and the death of Flash!
🤖 𝗦𝗲𝗺𝗴𝗿𝗲𝗽'𝘀 𝗔𝗴𝗲𝗻𝘁 𝗦𝗸𝗶𝗹𝗹𝘀
Semgrep released a set of agent skills worth looking into: github.com/semgrep/skills.
Busy week! AI, AI, AI and the death of Flash!
🤖 𝗦𝗲𝗺𝗴𝗿𝗲𝗽'𝘀 𝗔𝗴𝗲𝗻𝘁 𝗦𝗸𝗶𝗹𝗹𝘀
Semgrep released a set of agent skills worth looking into: github.com/semgrep/skills.
I’m excited to share I’ll now be working for myself full-time, offering live secure coding and application security training to help teams write safer software.
Entrepreneurs gotta entrepreneur. 🚀
1/2
I’m excited to share I’ll now be working for myself full-time, offering live secure coding and application security training to help teams write safer software.
Entrepreneurs gotta entrepreneur. 🚀
1/2
This was a highlight for me, after having worked to stress test it over the past ~3 years.
There are other nuggets in @semgrep.bsky.social's latest blog post though... 🤓
This was a highlight for me, after having worked to stress test it over the past ~3 years.
There are other nuggets in @semgrep.bsky.social's latest blog post though... 🤓
https://twp.ai/9PSKiJ
https://twp.ai/9PSKiJ
Semgrep specialises in code security, supporting you to catch, flag, and fix vulnerabilities and bugs as you work.
We're absolutely delighted they're involved with this year's event — thank you so much for your support!
Semgrep specialises in code security, supporting you to catch, flag, and fix vulnerabilities and bugs as you work.
We're absolutely delighted they're involved with this year's event — thank you so much for your support!
https://github.com/0xdea/semgrep-rules
Nothing major, just a couple of small updates. It feels good to be back doing some #security #research! Let’s see where this takes me…
https://github.com/0xdea/semgrep-rules
Nothing major, just a couple of small updates. It feels good to be back doing some #security #research! Let’s see where this takes me…
Secrets, malicious dependencies, weak auth, and prompt injection can slip into the workflow.
Here’s a practical security workflow: Gitleaks, Semgrep, dependency scanning, and more.
shorturl.at/ZKitm
#VibeCoding
Secrets, malicious dependencies, weak auth, and prompt injection can slip into the workflow.
Here’s a practical security workflow: Gitleaks, Semgrep, dependency scanning, and more.
shorturl.at/ZKitm
#VibeCoding
Check out all the details here👇
https://github.com/semgrep/semgrep/releases/tag/v1.147.0
Check out all the details here👇
https://github.com/semgrep/semgrep/releases/tag/v1.147.0
academy.semgrep.dev/...
academy.semgrep.dev/...
So we did and my code is now up for all to use
github.com/Santandersec...
So we did and my code is now up for all to use
github.com/Santandersec...
https://github.com/uehaj/jev-semgrep
https://github.com/uehaj/jev-semgrep
"Interruption to Scans and Accessing Web App"
Affects: Dashboard, API, Managed Scans
Live timeline → https://pingoru.io/providers/semgrep/incidents/11511122
#Semgrep #SemgrepDown
"Interruption to Scans and Accessing Web App"
Affects: Dashboard, API, Managed Scans
Live timeline → https://pingoru.io/providers/semgrep/incidents/11511122
#Semgrep #SemgrepDown