* Tool Name: Sparrow
* Target Language: C 
(Our tool can analyze C and hence we only analyzed dovecot and wireshark only but not chrome that is written in C++)

The environment we ran the tool is as follows:
-operating system: Linux 2.2.26
-compiler: gcc 4.3.2

We configured the tool as follows: we ran the tool with an option "-array=2", which lets the analyzer to distinguish array elements up to two elements (by default, in our analysis, array elements are smashed into a single abstract location.
