Security Scan. Frequently Asked Questions What is Kaspersky Security Scan?
Kaspersky Security Scan is a great tool for scanning your PC in order to detect an active infection, software vulnerabilities and other non-malware security problems. Kaspersky Security Scan can also be used as a tool to get a ‘second opinion’ and double-check the state of the security on your PC. However, Kaspersky Security Scan does not offer protection for your PC. Finding use-after-free bugs with static analysis « Sean Heelan's Blog.
Earlier this year I had a lot of fun using run-time instrumentation and analysis to tackle a variety of program analysis problems.
In doing so I became curious about static solutions to the common problems encountered during dynamic analysis. One of the most obvious issues is that you can only examine those paths that you can execute and thus you need to find some way to drive a program through different paths before you can do any kind of analysis. The flip side of that is that you are guaranteed that any path you analyse is valid and so false positives in that regard are avoided. With those experiences in mind I decided to try my hand at purely static analysis recently (recently as in August, I suck at finding time to document stuff apparently). Static analysis has a large variety of sources of error and annoyances of its own but for certain bug classes it seemed like a purely static approach could find some interesting results with a tolerable level of false positives. Portail:Sécurité informatique.