Started type checking jsil programs#91

Merged

kroening merged 4 commits intodiffblue:masterfrom

tautschnig:jsil-type-checking

May 17, 2016

Commits on May 16, 2016

Started type checking jsil programs

Daiva Naudziuniene
authored and
tautschnig
committed
Improvements to Jsil type checking

Daiva Naudziuniene
authored and
tautschnig
committed
Added jsil mode to be supported by goto_convert_functions

Daiva Naudziuniene
authored and
tautschnig
committed
Modified taint analysis to match procedure calls from languages other than Java

Daiva Naudziuniene
authored and
tautschnig
committed