Login
Discover
Waves
Communities
Login
Signup
cpuu
@cpuu
25
Followers
84
Following
1
Follow
Resource Credits
Available
Used
Created
2018-05-23 23:13
RSS Feed
Subscribe
Posts
Blog
Posts
Comments
Communities
Wallet
cpuu
software
2018-05-28 15:01
!
New account with an unverified outbound link, Reveal content
The difference between Soundness and Completeness
Useful 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 true, then x is
$ 0.000
0
1
cpuu
software
2018-05-28 04:42
Announcing CPUU's Software Security Blog
Hi, 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 spans various
$ 0.000
4
1
