Martin Jambon, “9+ Languages?! How we built Semgrep, a polyglot static analysis tool”

Semgrep is an open-source syntax-aware grep, which is used to scan source code for insecure patterns such as ‘exec(…)’. It allows the user to specify patterns in the same language as the target, with only the addition of a few constructs such as ‘…’ and ‘$FOO’. We will cover basic usage before diving into the design and the OCaml implementation. In particular, I will present:

1. challenges of parsing and analyzing many programming languages,
2. the generic mode, which handles unsupported languages

Bio: Martin is an alumnus from ENS Lyon, France, where he was introduced to OCaml in 1998. He then started a research career on inferring protein function from details of their 3D structure. After obtaining his PhD, he moved to the US and eventually left proteins and academia. For the last 10+ years, he’s been in several SF Bay Area startups, joining r2c’s program analysis team in 2020. His hobbies include trail running and the development of artificial minds.

Claude Rubinson is inviting you to a scheduled Zoom meeting.

Topic: Houston Functional Programmers
Time: Apr 21, 2021 07:00 PM Central Time (US and Canada)

Join Zoom Meeting
https://uhd.zoom.us/j/99936877456?pwd=YlJWQ2RuOGtPUGkrSG5UYXdrajJWQT09

Meeting ID: 999 3687 7456
Passcode: recursion
One tap mobile
+13462487799,,99936877456# US (Houston)
+12532158782,,99936877456# US (Tacoma)

Dial by your location
+1 346 248 7799 US (Houston)
+1 253 215 8782 US (Tacoma)
+1 669 900 6833 US (San Jose)
+1 646 558 8656 US (New York)
+1 301 715 8592 US (Washington DC)
+1 312 626 6799 US (Chicago)
Meeting ID: 999 3687 7456
Find your local number: https://uhd.zoom.us/u/aeGQrbNJt

Join by SIP
99936877456@zoomcrc.com

Join by H.323
162.255.37.11 (US West)
162.255.36.11 (US East)
115.114.131.7 (India Mumbai)
115.114.115.7 (India Hyderabad)
213.19.144.110 (Amsterdam Netherlands)
213.244.140.110 (Germany)
103.122.166.55 (Australia Sydney)
103.122.167.55 (Australia Melbourne)
149.137.40.110 (Singapore)
64.211.144.160 (Brazil)
69.174.57.160 (Canada Toronto)
65.39.152.160 (Canada Vancouver)
207.226.132.110 (Japan Tokyo)
149.137.24.110 (Japan Osaka)
Meeting ID: 999 3687 7456
Passcode: 412472969

Join by Skype for Business
https://uhd.zoom.us/skype/99936877456