pghs975uc
/
infer_clone
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '5e710277dd'
${ noResults }
infer_clone/infer/src/java
History
Josh Berdine 3021394a10
[config] Remove unnecessary --models 		9 years ago
..
.project initial synchronization 11 years ago
README.md Created IR folder for the intermediate representaion files. 10 years ago
TODO initial synchronization 11 years ago
doc.odocl initial synchronization 11 years ago
jAnnotation.ml [infer][java] Simplify the API to translate Java method names into SIL procedure names 9 years ago
jAnnotation.mli [infer][java] Simplify the API to translate Java method names into SIL procedure names 9 years ago
jClasspath.ml [config] Default project_root to initial working dir 9 years ago
jClasspath.mli Reimplement command line options 10 years ago
jConfig.ml [IR] Do not use JBasics.java_lang_object in IR/backend 9 years ago
jContext.ml [infer][java] Remove the code adding a special treatment for static final fields 9 years ago
jContext.mli [infer][java] Remove the code adding a special treatment for static final fields 9 years ago
jFrontend.ml [infer][java] Isolate the call to the JBir transformation to a single place 9 years ago
jFrontend.mli [backend] Remove the global reference DB.current_source and clean up the flow of information about the current source file. 9 years ago
jMain.ml [config] Remove unnecessary --models 9 years ago
jTrans.ml kill Location.nLOC 9 years ago
jTrans.mli [infer][java] Isolate the call to the JBir transformation to a single place 9 years ago
jTransExn.ml [IR] Rearrange the cfg module to make nodes, procd descs, and cfgs independent types. 9 years ago
jTransExn.mli Remove -open(Utils) compile flag hack 10 years ago
jTransType.ml [infer][java] Simplify the API to translate Java method names into SIL procedure names 9 years ago
jTransType.mli [infer][java] Simplify the API to translate Java method names into SIL procedure names 9 years ago

README.md

Java Front-End

This is the front-end for java compilers.

The main entry point is JMain.