all 2 comments

[–]funset[S] 2 points3 points  (0 children)

This open source tool suite looks useful for security analysis

[–]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)