aegilops :github::microsoft: · @aegilops
108 followers · 347 posts · Server fosstodon.org

@joxean I usually think of "sound" in SAST as "no false negatives" (for what you are modelling, of course).

Now wrap your head around what a "soundy" analysis is...

#programanalysis #soundanalysis #soundy #sast

Last updated 2 years ago

JP Lehr · @jplehr
43 followers · 39 posts · Server mast.hpc.social

I'm happy to share that I just released version 0.5.0 \o/

Besides a number of important bug fixes, we have *finally* reworked some internals that gave us a great performance improvement. For several use cases from minutes to seconds.
Thank you so much to everybody who contributed.

If your curious, check it out at github.com/tudasc/MetaCG

#metacg #hpc #programanalysis #callgraph #tudasc

Last updated 2 years ago

ITSEC News · @itsecbot
1066 followers · 32947 posts · Server schleuss.online

What child is this? - A Primer on Process Reparenting in Windows
By Yarden Shafir
Process reparenting is... blog.trailofbits.com/2022/12/2

#programanalysis #microsoftwindows

Last updated 2 years ago

Martin Jambon · @mjambon
32 followers · 16 posts · Server qoto.org
ITSEC News · @itsecbot
856 followers · 32559 posts · Server schleuss.online

Magnifier: An Experiment with Interactive Decompilation - By Alan Chang
Today, we are releasing Magnifier, an experimental reverse engineeri... blog.trailofbits.com/2022/08/2

#staticanalysis #programanalysis #internshipprojects

Last updated 2 years ago

ITSEC News · @itsecbot
687 followers · 32461 posts · Server schleuss.online

Detecting Bad OpenSSL Usage - by William Wang, UCLA
OpenSSL is one of the most popular cryptographic libraries out there; even i... more: blog.trailofbits.com/2020/05/2

#cryptography #programanalysis #internshipprojects

Last updated 4 years ago