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 'ed85a129f5'
${ noResults }
infer_clone/infer/src/clang
History
Martino Luca bed9b31c62
Add general context to linters framework to implement smarter checks 		9 years ago
..
plugin [clang-format] Reformat all c/cpp/objc sources with clang-format 10 years ago
CLintersContext.ml Add general context to linters framework to implement smarter checks 9 years ago
Makefile initial synchronization 11 years ago
README.md Created IR folder for the intermediate representaion files. 10 years ago
ast_expressions.ml Use mangling in function parameters to encode its position 10 years ago
ast_expressions.mli Fix custom type_ptr to char* and char 10 years ago
cArithmetic_trans.ml Refactor Sil.call_flags into separate CallFlags module 10 years ago
cArithmetic_trans.mli Refactor Sil.typ into separate Typ module 10 years ago
cContext.ml Use pointers to decls instead of class names when creating a type 9 years ago
cContext.mli Use pointers to decls instead of class names when creating a type 9 years ago
cEnum_decl.ml Refactor Sil.typ into separate Typ module 10 years ago
cEnum_decl.mli Refactor Sil.typ into separate Typ module 10 years ago
cField_decl.ml Model init method in NSData and understand the field bytes 9 years ago
cField_decl.mli Model init method in NSData and understand the field bytes 9 years ago
cFrontend.ml Separate the flow of the frontend checks form the translation 10 years ago
cFrontend.mli Remove -open(Utils) compile flag hack 10 years ago
cFrontend_checkers.ml Add general context to linters framework to implement smarter checks 9 years ago
cFrontend_checkers.mli Add general context to linters framework to implement smarter checks 9 years ago
cFrontend_checkers_main.ml Add general context to linters framework to implement smarter checks 9 years ago
cFrontend_checkers_main.mli Separate the flow of the frontend checks form the translation 10 years ago
cFrontend_config.ml typo and whitespace cleanup in cFrontend_config 9 years ago
cFrontend_config.mli typo and whitespace cleanup in cFrontend_config 9 years ago
cFrontend_decl.ml Update fcp 9 years ago
cFrontend_decl.mli Translate functions/methods from headers when they are referenced 10 years ago
cFrontend_errors.ml Add general context to linters framework to implement smarter checks 9 years ago
cFrontend_errors.mli Add general context to linters framework to implement smarter checks 9 years ago
cFrontend_utils.ml Adding a key to the lint issues 9 years ago
cFrontend_utils.mli Adding a key to the lint issues 9 years ago
cIssue.ml Migrate BAD_POINTER_COMPARISON check from backend to linters infra 9 years ago
cIssue.mli Migrate BAD_POINTER_COMPARISON check from backend to linters infra 9 years ago
cLocation.ml Fix C++ models of c library 10 years ago
cLocation.mli Translate functions/methods from headers when they are referenced 10 years ago
cMain.ml Implement direct atomic var check with the new ivar to property map 10 years ago
cMain.mli Remove -open(Utils) compile flag hack 10 years ago
cMethod_signature.ml Use mangling in function parameters to encode its position 10 years ago
cMethod_signature.mli Use mangling in function parameters to encode its position 10 years ago
cMethod_trans.ml Use the block captured variables as mangled 9 years ago
cMethod_trans.mli Start transitioning logging of frontend bugs into a map of errlogs rather than in procdescs 9 years ago
cModule_type.ml Refactor Sil.typ into separate Typ module 10 years ago
cTrans.ml diverge on `throw` 9 years ago
cTrans.mli Remove -open(Utils) compile flag hack 10 years ago
cTrans_models.ml unify handling of many special cases in callExpr_trans 9 years ago
cTrans_models.mli unify handling of many special cases in callExpr_trans 9 years ago
cTrans_utils.ml unify handling of many special cases in callExpr_trans 9 years ago
cTrans_utils.mli unify handling of many special cases in callExpr_trans 9 years ago
cType_to_sil_type.ml Refactor Sil.typ into separate Typ module 10 years ago
cType_to_sil_type.mli Refactor Sil.typ into separate Typ module 10 years ago
cTypes.ml Refactor Sil.typ into separate Typ module 10 years ago
cTypes.mli Refactor Sil.typ into separate Typ module 10 years ago
cTypes_decl.ml add constructor info to c++ methods 9 years ago
cTypes_decl.mli Refactor Sil.typ into separate Typ module 10 years ago
cVar_decl.ml Use the block captured variables as mangled 9 years ago
cVar_decl.mli Refactor Sil.typ into separate Typ module 10 years ago
clang_ast_types.ml Fix translation of passing struct parameters by value 10 years ago
objcCategory_decl.ml Refactor Sil.typ into separate Typ module 10 years ago
objcCategory_decl.mli Refactor Sil.typ into separate Typ module 10 years ago
objcInterface_decl.ml Model init method in NSData and understand the field bytes 9 years ago
objcInterface_decl.mli Refactor Sil.typ into separate Typ module 10 years ago
objcProperty_decl.ml Remove -open(Utils) compile flag hack 10 years ago
objcProperty_decl.mli Remove -open(Utils) compile flag hack 10 years ago
objcProtocol_decl.ml Refactor Sil.typ into separate Typ module 10 years ago
objcProtocol_decl.mli Refactor Sil.typ into separate Typ module 10 years ago

README.md

Clang Front-End

This is the front-end for the clang compiler.

The main entry point is CMain.