search

arguslab / Argus-SAF

Argus static analysis framework
Apache License 2.0
183 stars 49 forks source link

Type checker for Jawa compiler #38

Open fgwei opened 6 years ago

fgwei commented 6 years ago

This is needed for correctly generate bytecode.