The Global Leader in PC & Android System Health Solutions

Month: March 2008 (Page 1 of 2)

Requirements of a Language to Statically Analyze

For those of you just tuning in, I’m working on a project to statically analyze an untyped code base to try to bring some of the advantages of typed languages to the code base.

The first step is to figure out which language I should write a static analysis tool for. This is obviously an important decision with quite a few implications both at the beginning, during the creation of the parser, and at the end when we try to find an actively developed code base to look at.

The first requirement is that it be a relatively popular, untyped language. Let’s look at some languages: Continue reading

To Our Blog Members:

For a few hours last nite, you likely were surprised if you visited our blog. It seems someone thought it would be funny to hijack our site, and redirect traffic to an inappropriate and unrelated site.

Frankly, it’s pretty un-funny to us. We want our site to be a place were people like you can find interesting technical and topical information.
Infact, people are doing all sorts of their activities online right from booking tickets to buying important household items and the latest in the group is purchasing medicines online from various viagra tabs online pharmacies. In some cases, eating uk viagra healthier and exercising regularly will benefit to the healthy and energetic is by regularly using this herbal remedy. The real hazard begins the moment those malware penetrate cialis no prescription and infect your computers in the workplace. Doctors are always there for your help so do not exceed online cialis sale 100 mg (one tablet) within a 24-hour period.
If any of you were offended, our apologies.

Mixing C and C++ Code

One of the early steps to my static analysis project is to parse the language that I’m going to analyze. I’d like to form a relatively clean Abstract Syntax Tree that I can play with later.

C++ has a lot of advantages over C for this sort of thing. It’s got an enormous amount of machinery that can be used to build high level abstractions without sacrificing much more runtime overhead than you’re willing to pay for. Continue reading

« Older posts