Introduction to using the Hammer parser construction toolkit by Meredith L. Patterson
The Hammer repository is at github.com/UpstandingHackers/hammer
These lectures introduce Hammer, a kit for practical construction of secure parsers in C, C++, and other languages used in production programming. The point of Hammer is to save the time and effort of practical industry programmers who need to deal with parsing potentially hostile inputs (which, these days, is pretty much everyone coding any kind of Internet communications).
Hammer needs you to follow a particular programming/design pattern: the code that validates the inputs (and actually defines what the valid inputs are) comes first, before any actions on the data parsed out of these inputs. This is important, because acting on input data before the entire message has been fully parsed and recognized as correctly formed is the most common weakness that leads to memory corruption.
The lectures introduce necessary theory concepts as they go. No special knowledge of parsing is required, only an interest in how to do it right, i.e., with the lowest chance of the parser being exploited by crafted inputs. If you feel that any part of these lectures can be made more accessible by a brief introduction of a relevant concept, please let us know!
This is an early release, and yet Hammer has already moved forward since these lectures were recorded. Whenever today's Hammer works differently than described in the lectures, annotations and/or comments have been added to the video.
Please feel free to contribute writeups on any build configuration problems you encountered and your solutions! Similarly, please feel free to contribute examples of your own parsers.
URL: https://www.youtube.com/watch?v=7TnZ-ZAGNlw
Abstract: Parser Combinators and Hammer are introduced, course outline. System requirements:
URL: https://www.youtube.com/watch?v=eJnUSDgLiv8
Abstract: JSON, JSON RPC introduced. Sent in HTTP POST request, so course will cover it as well.
URL: https://www.youtube.com/watch?v=dyuxoh2Jcm4
Abstract: More detailed look at JSON RPC.
URL: https://www.youtube.com/watch?v=q6dkb87CBC4
Abstract: Installation of samba and swat exploit demonstrated.
URL: https://www.youtube.com/watch?v=8ITvFT6kaPw
Abstract: Authorization as a state machine.
URL: https://www.youtube.com/watch?v=7_biPaRyX20
Abstract: More detailed look at State Machines.
URL: https://www.youtube.com/watch?v=PzUKSID9aEI
Abstract: HTTP Basic Authentication described.
URL: https://www.youtube.com/watch?v=_luX3uQumG4
Abstract: How to install hammer and its dependencies.
URL: https://www.youtube.com/watch?v=tB7jRVM3Wf8
Abstract: Base64 encoding described, rules of base64. Recognizer of base64 will be created by coding the rules.
URL: https://www.youtube.com/watch?v=WLl5vPCBMwU
Abstract: Base64 recognizer boilerplace and unit tests, how to compile a program with hammer.
Files in lecture_10/
Corrections:
URL: https://www.youtube.com/watch?v=QYZxYjXUV0U
Abstract: Turning the Base64 alphabet rules into a code description.
Files in lecture_11/
URL: https://www.youtube.com/watch?v=3LjDdxkcY9g
Abstract: Converting the Base64 Recognizer into a Decoder.
Files in lecture_12/
Changes in Hammer since recording time: 3:50 -- HAction function signatures are now: HParsedToken func(const HParseResult p, void *user_data); That is, HAction functions must also take a user_data whether or not they use it. (This is
URL: https://www.youtube.com/watch?v=2OVvBoOGaL0
Abstract: Creating a JSON Parser.
Notes: 13:43 -- act_json_object is changed to act_json_object_main abruptly. Ignore this, act_json_object is correct.
Files in lecture_13/