
TODO
-----
* path-sensitivity for conditional branches.

* automatically create translators from methods in a target program
  using reflection. (a heuristic solution for path-sensitivity)
  
* import the core of the slicer-based string analyzer.


Problems
---------
* the translator for the "+" operator can't handle
  non-string values correctly.
  E.g.: "0+1" yields a rule like "A -> 0; B -> A 1".

Done
------
* making the CG2GR class be purely based on a callgraph by
  removing GR and TranslatorContext.

Fixed
-------
