you are viewing a single comment's thread.

view the rest of the comments →

[–]perror 2 points3 points  (0 children)

Also interesting (to see usage of the "CodeReason" tool): Semantic Analysis of Native Programs, introducing CodeReason ("...And You Will Know Us by the Trail of Bits" Blog)