Overview
Syllabus
Intro
Binding code: extending the JavaScript environment
Write a string to a file from JavaScript
Chrome browser runtime system
Binding errors can lead to violations of JavaScript's
We focus on finding and preventing binding bugs in four JavaScript runtime systems
Static analysis tools to find bugs in binding code
What do binding bugs look like?
Buffer fill in context
Checker for memory errors in Node.js
A use-after-free bug in PDFium
Checker results
Preventing bugs with a safer JavaScript engine API
Wrap up
Taught by
IEEE Symposium on Security and Privacy