Blogs about: Static Analysis
Featured Blog
Working with Aptana/Eclipse and PyDev
I’ve recently gone on a python binge. I like the quick scripting, but I’m also trying to explore the code analysis tools for python. Aptana (Eclipse juiced up for web developers) recently … more →
nat ayewah, ph.d student, umd
Finding interesting loops using (Mono)REIL
— 1 comment
wrote 1 week ago: Natural loops detection is a well understood and useful to solve problem for vulnerability analysis. … more →
Property Simulation - a new model for CDT's Static Analysis (Part 2)
— 1 comment
wrote 1 week ago: In the previous entry, I covered the details and motivation behind using Property Simulation for the … more →
How to avoid BIG performance surprises on a Java application?
wrote 1 week ago: As functionality, performance is also one of the key criteria of any software application. Unlike f … more →
Property Simulation - a new model for CDT's Static Analysis
— 6 comments
wrote 2 weeks ago: Several months ago, I discovered the need for improvements with Eclipse CDT’s static analysis. … more →
Scripting with BinNavi - Cyclomatic Complexity
wrote 2 weeks ago: My collegue Sebastian announced a while ago that from version 2.1 of BinNavi it is possible to run B … more →
Finding use-after-free bugs with static analysis
wrote 1 month ago: Earlier this year I had a lot of fun using run-time instrumentation and analysis to tackle a variety … more →
Code quality in a collaborative development environment
wrote 1 month ago: The speed at which software is getting developed has increased, the same way the problems too. One … more →
Generating Graphs with Dehydra
wrote 1 month ago: Yay! Some pictures of my actual work!! Docs can be cool too! Well, if you think graphs are cool … more →
A foray into IT academia...
wrote 1 month ago: The other night I attended the BCS Roger Needham lecture held at the Royal Society in London – … more →
What is Static Analysis?
wrote 2 months ago: When loads are applied to a body, the body will deform and the effect of the loads will be transmitt … more →
Mozilla Static-analysis build with Dehydra
wrote 2 months ago: To start off the exploration of external strings for the project I am working on, outlined here, I w … more →
Moment of enlightenment
— 2 comments
wrote 2 months ago: I think I may have just made it to that moment where I am no longer searching for what to do, but do … more →
Static Analysis Menggunakan FindBugs.
wrote 2 months ago: Pengantar FindBugs adalah software yang digunakan untuk keperluan analisis static. FindBugs bekerja … more →
Static Analysis: As part of reviewing what you are getting.
wrote 3 months ago: Last week I came across with a friend that I was long time without see him, during some talks and be … more →
In einem Wort
— 1 comment
wrote 3 months ago: Standard Annotation Language (SAL) … more →
First Look at CDT Code Analysis
— 1 comment
wrote 4 months ago: Recently, I have been looking at Static Code Analysis for the Eclipse CDT. This allows for quick det … more →
My Own VA Tool Set
— 1 comment
wrote 5 months ago: Work…Work !!! Test sites SPI Dynamics (live) – http://zero.webappsecurity.com/ Cenzic (live) – http: … more →
Thinking about automated testing
wrote 5 months ago: Google’s “Mr. Automated Testing”, Miško Hevery, talks about Software Testing Categ … more →
Security Development Lifecycle
— 1 comment
wrote 6 months ago: Recently coming through a few article that describe the SDL and the importance of the Static Analysi … more →
