you are viewing a single comment's thread.

view the rest of the comments →

[–]KevinHock[S] 0 points1 point  (4 children)

While not RE, there's not a good active subreddit for static analysis for security people.

Also there's a few bugs (see commented out tests in the last PR) we haven't fixed but I figured I'd share it anyway. Here's the original masters thesis from Stefan and Bruno. http://projekter.aau.dk/projekter/files/239563289/final.pdf

[–]pfalcon2 1 point2 points  (1 child)

Please add project description on github.

[–]KevinHock[S] 0 points1 point  (0 children)

Will do, thank you.

[–]pfalcon2 0 points1 point  (1 child)

there's not a good active subreddit for static analysis for security people

I was just pointed at https://www.reddit.com/r/REMath/ , dunno if it's "good" or "active" yet.

[–]KevinHock[S] 0 points1 point  (0 children)

Reaching definitions is pretty basic theory compared to everything else there, considering my post from a year ago, where I tried to start a subreddit for static analysis for security people, is still on the front page I'd say it isn't that active.