BlogHide Resteemscpuu (25)in software • 6 years agoThe difference between Soundness and CompletenessUseful static analysis tools fall somewhere between sound and complete analyses. So, let's go into what I mean by that. Soundness is a property that states if an analysis says that x is…cpuu (25)in software • 6 years agoAnnouncing CPUU's Software Security BlogHi, My name is Jaeyou PARK . I am now employed at LG Electronics as a research engineer. I immensely interested in the field of security analysis to find bugs in the software. My research area…