Advanced Tool Development with SMT Solvers

I just finished a four-day intensive course on Advanced Tool Development with SMT Solvers and I must say it exceeded my expectations. It’s a class taught by Vertex Re / @seanhn. Sean Heelan is an excellent trainer, the class is well constructed and the exercises are very practical. It’s a fast paced class and there are plenty of exercises.

Here’s an overview of the class description: TrainingDescription

This is definitely one of my favorite classes. I hope I’ll find enough time to continue playing with Manticore, Klee & Angr in the coming weeks and months :-)

The training was in London, but I did not get a chance to walk around the city too much, since most of the evenings were spent on work stuff. Next time I’ll go to London, I’ll make sure to do some sight seeing and take some photos…

Written by Svavar Ingi Hermannsson (XxSiHxX) on November 9, 2017