modified ObjectInfo and FieldInfo so that 2-phase symbolic execution can be reduced to a single phase symbolic execution
direct concolic execution mode (single phase) implemented.  See ./dconcolic
fixed a bug in online concolic execution mode
refactoring
python scripts for concolic testing.