| .. |
|
plugin
|
[clang-format] Reformat all c/cpp/objc sources with clang-format
|
9 years ago |
|
CLintersContext.ml
|
Put current method in context
|
9 years ago |
|
ComponentKit.ml
|
[componentkit] Factory functions analyzer
|
8 years ago |
|
ComponentKit.mli
|
[componentkit] Factory functions analyzer
|
8 years ago |
|
Makefile
|
initial synchronization
|
10 years ago |
|
README.md
|
Created IR folder for the intermediate representaion files.
|
9 years ago |
|
ast_expressions.ml
|
[clang] Migrating clang logging to the Logging module
|
8 years ago |
|
ast_expressions.mli
|
do not havoc actuals of skip functions with const parameters
|
9 years ago |
|
cArithmetic_trans.ml
|
[clang] Migrating clang logging to the Logging module
|
8 years ago |
|
cArithmetic_trans.mli
|
Remove Tstruct in favor of Tvar
|
8 years ago |
|
cContext.ml
|
Make Typ.struct_typ private and add Typ.mk_struct
|
8 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
|
9 years ago |
|
cEnum_decl.mli
|
Refactor Sil.typ into separate Typ module
|
9 years ago |
|
cField_decl.ml
|
[clang] Migrating clang logging to the Logging module
|
8 years ago |
|
cField_decl.mli
|
[IR] Refactor annotation types into separate module
|
8 years ago |
|
cFrontend.ml
|
[clang] Migrating clang logging to the Logging module
|
8 years ago |
|
cFrontend.mli
|
Remove -open(Utils) compile flag hack
|
9 years ago |
|
cFrontend_checkers.ml
|
[Infer][iOS][Linters][CTL] Rewrite BAD_POINTER_COMPARISON rule into Computation Tree Logics formula
|
8 years ago |
|
cFrontend_checkers.mli
|
[Infer][iOS][Linters][CTL] Rewrite BAD_POINTER_COMPARISON rule into Computation Tree Logics formula
|
8 years ago |
|
cFrontend_checkers_main.ml
|
[linters] Log assert failures in the linters framework
|
8 years ago |
|
cFrontend_checkers_main.mli
|
[clang] Remove support for logging lint issues in procdescs
|
8 years ago |
|
cFrontend_config.ml
|
[backend] Remove the global reference DB.current_source and clean up the flow of information about the current source file.
|
8 years ago |
|
cFrontend_config.mli
|
[backend] Remove the global reference DB.current_source and clean up the flow of information about the current source file.
|
8 years ago |
|
cFrontend_decl.ml
|
[clang] Migrating clang logging to the Logging module
|
8 years ago |
|
cFrontend_decl.mli
|
Translate functions/methods from headers when they are referenced
|
9 years ago |
|
cFrontend_errors.ml
|
[componentkit] Factory functions analyzer
|
8 years ago |
|
cFrontend_errors.mli
|
[clang] Remove support for logging lint issues in procdescs
|
8 years ago |
|
cFrontend_utils.ml
|
Defining an AST specification language based on CTL for front-end checkers
|
8 years ago |
|
cFrontend_utils.mli
|
Defining an AST specification language based on CTL for front-end checkers
|
8 years ago |
|
cIssue.ml
|
[componentkit] Factory functions analyzer
|
8 years ago |
|
cIssue.mli
|
[componentkit] Factory functions analyzer
|
8 years ago |
|
cLocation.ml
|
[clang] Migrating clang logging to the Logging module
|
8 years ago |
|
cLocation.mli
|
Translate functions coming from std headers od demand
|
8 years ago |
|
cMain.ml
|
[clang] Migrating clang logging to the Logging module
|
8 years ago |
|
cMain.mli
|
Remove -open(Utils) compile flag hack
|
9 years ago |
|
cMethod_signature.ml
|
do not havoc actuals of skip functions with const parameters
|
9 years ago |
|
cMethod_signature.mli
|
do not havoc actuals of skip functions with const parameters
|
9 years ago |
|
cMethod_trans.ml
|
[clang] Migrating clang logging to the Logging module
|
8 years ago |
|
cMethod_trans.mli
|
[clang] Remove support for logging lint issues in procdescs
|
8 years ago |
|
cModule_type.ml
|
Refactor Sil.typ into separate Typ module
|
9 years ago |
|
cTL.ml
|
[Infer][iOS][Linters][CTL] Rewrite BAD_POINTER_COMPARISON rule into Computation Tree Logics formula
|
8 years ago |
|
cTL.mli
|
Defining an AST specification language based on CTL for front-end checkers
|
8 years ago |
|
cTrans.ml
|
[clang] Migrating clang logging to the Logging module
|
8 years ago |
|
cTrans.mli
|
Enable warning: Unexpected documentation comment
|
9 years ago |
|
cTrans_models.ml
|
Drop ti_raw field from clang_ast_t.type_info
|
8 years ago |
|
cTrans_models.mli
|
move retain/release special handling to function_deref_trans
|
8 years ago |
|
cTrans_utils.ml
|
[clang] Migrating clang logging to the Logging module
|
8 years ago |
|
cTrans_utils.mli
|
Remove Tstruct in favor of Tvar
|
8 years ago |
|
cType_to_sil_type.ml
|
[clang] Migrating clang logging to the Logging module
|
8 years ago |
|
cType_to_sil_type.mli
|
Refactor Sil.typ into separate Typ module
|
9 years ago |
|
cTypes.ml
|
[clang] Migrating clang logging to the Logging module
|
8 years ago |
|
cTypes.mli
|
Remove Tstruct in favor of Tvar
|
8 years ago |
|
cTypes_decl.ml
|
[clang] Migrating clang logging to the Logging module
|
8 years ago |
|
cTypes_decl.mli
|
Remove Tstruct in favor of Tvar
|
8 years ago |
|
cVar_decl.ml
|
qual_type fields are namespaced now
|
9 years ago |
|
cVar_decl.mli
|
Refactor Sil.exp to Exp.t
|
9 years ago |
|
clang_ast_types.ml
|
Fix translation of passing struct parameters by value
|
9 years ago |
|
objcCategory_decl.ml
|
[clang] Migrating clang logging to the Logging module
|
8 years ago |
|
objcCategory_decl.mli
|
Refactor Sil.typ into separate Typ module
|
9 years ago |
|
objcInterface_decl.ml
|
[clang] Migrating clang logging to the Logging module
|
8 years ago |
|
objcInterface_decl.mli
|
Remove Tstruct in favor of Tvar
|
8 years ago |
|
objcProperty_decl.ml
|
[clang] Migrating clang logging to the Logging module
|
8 years ago |
|
objcProperty_decl.mli
|
Remove -open(Utils) compile flag hack
|
9 years ago |
|
objcProtocol_decl.ml
|
[clang] Migrating clang logging to the Logging module
|
8 years ago |
|
objcProtocol_decl.mli
|
Refactor Sil.typ into separate Typ module
|
9 years ago |
|
predicates.ml
|
[Infer][iOS][Linters][CTL] Rewrite BAD_POINTER_COMPARISON rule into Computation Tree Logics formula
|
8 years ago |
|
predicates.mli
|
[Infer][iOS][Linters][CTL] Rewrite BAD_POINTER_COMPARISON rule into Computation Tree Logics formula
|
8 years ago |
|
printing.ml
|
[clang] Migrating clang logging to the Logging module
|
8 years ago |
|
printing.mli
|
[clang] Migrating clang logging to the Logging module
|
8 years ago |
Ryan Rhee