@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
I'm happy to share that I just released #MetaCG 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 https://github.com/tudasc/MetaCG
#metacg #hpc #programanalysis #callgraph #tudasc
What child is this? - A Primer on Process Reparenting in Windows
By Yarden Shafir
Process reparenting is... https://blog.trailofbits.com/2022/12/20/process-reparenting-microsoft-windows/ #microsoftwindows #programanalysis
#programanalysis #microsoftwindows
Various interests of mine:
#ocaml #functionalprogramming #staticanalysis #programanalysis #automation #math #biology #chemistry #mushrooms #mycology #mushroomcultivation #trailrunning #fishes #ichtyology #aquaticlife #art #acrylicpainting #oilpainting #artificialintelligence #artificialminds #artificialcognition #history #arthistory
#artificialintelligence #artificialminds #history #ocaml #functionalprogramming #staticanalysis #programanalysis #automation #math #biology #chemistry #mushrooms #mycology #mushroomcultivation #trailrunning #fishes #ichtyology #aquaticlife #art #acrylicpainting #oilpainting #artificialcognition #arthistory
Magnifier: An Experiment with Interactive Decompilation - By Alan Chang
Today, we are releasing Magnifier, an experimental reverse engineeri... https://blog.trailofbits.com/2022/08/25/magnifier-an-experiment-with-interactive-decompilation/ #internshipprojects #programanalysis #staticanalysis
#staticanalysis #programanalysis #internshipprojects
Detecting Bad OpenSSL Usage - by William Wang, UCLA
OpenSSL is one of the most popular cryptographic libraries out there; even i... more: https://blog.trailofbits.com/2020/05/29/detecting-bad-openssl-usage/ #internshipprojects #programanalysis #cryptography
#cryptography #programanalysis #internshipprojects