.. |
ALVar.ml
|
[log] log to a single file with different categories and debug levels
|
8 years ago |
ALVar.mli
|
[linters] Specify path in linters
|
8 years ago |
CLintersContext.ml
|
[linters] Take current os version into account in the unavailable api check
|
8 years ago |
CProcname.ml
|
[C++] Store class template name without its template arguments
|
8 years ago |
CProcname.mli
|
[IR] Make template info part of Typename.t, rename Typename to Typ.Name
|
8 years ago |
CType.ml
|
[log] log to a single file with different categories and debug levels
|
8 years ago |
CType.mli
|
[clang frontend] Pass type qualifiers through frontend
|
8 years ago |
CType_decl.ml
|
[C++] Store class template name without its template arguments
|
8 years ago |
CType_decl.mli
|
[clang] Translate type qualifiers into Sil
|
8 years ago |
Capture.re
|
[log] log to a single file with different categories and debug levels
|
8 years ago |
Capture.rei
|
Open Core.Std by default, still use Caml Hashtbl, Map, Set
|
8 years ago |
CiOSVersionNumbers.ml
|
[linters] Take current os version into account in the unavailable api check
|
8 years ago |
CiOSVersionNumbers.mli
|
[police] open IStd everywhere
|
8 years ago |
ClangCommand.re
|
[log] log to a single file with different categories and debug levels
|
8 years ago |
ClangCommand.rei
|
Open Core.Std by default, still use Caml Hashtbl, Map, Set
|
8 years ago |
ClangPointers.ml
|
[log] append ERROR in front of `failwith` toplevel messages
|
8 years ago |
ClangPointers.mli
|
[clang] clang pointer map becomes a clang pointer hashtbl
|
8 years ago |
ClangWrapper.re
|
[wibble] refactor error output
|
8 years ago |
ClangWrapper.rei
|
Divide Utils into Utils, Pp, and IStd
|
8 years ago |
ComponentKit.ml
|
[linters] Disable components factory function rule
|
8 years ago |
ComponentKit.mli
|
[linters] Do not return a dummy ctl formula from the hardcoded linters
|
8 years ago |
README.md
|
Created IR folder for the intermediate representaion files.
|
9 years ago |
ast_expressions.ml
|
[log] log to a single file with different categories and debug levels
|
8 years ago |
ast_expressions.mli
|
add more quals to SIL
|
8 years ago |
cArithmetic_trans.ml
|
[log] log to a single file with different categories and debug levels
|
8 years ago |
cArithmetic_trans.mli
|
Divide Utils into Utils, Pp, and IStd
|
8 years ago |
cAst_utils.ml
|
[log] log to a single file with different categories and debug levels
|
8 years ago |
cAst_utils.mli
|
[linters] Add new predicate has_type and check for implicit cast
|
8 years ago |
cContext.ml
|
[clang] Make backend use QualifiedCppName.t instead of string
|
8 years ago |
cContext.mli
|
[clang] Make backend use QualifiedCppName.t instead of string
|
8 years ago |
cEnum_decl.ml
|
[clang] Translate type qualifiers into Sil
|
8 years ago |
cEnum_decl.mli
|
[clang] Translate type qualifiers into Sil
|
8 years ago |
cField_decl.ml
|
[log] log to a single file with different categories and debug levels
|
8 years ago |
cField_decl.mli
|
[clang frontend] Pass type qualifiers through frontend
|
8 years ago |
cFrontend.ml
|
[log] log to a single file with different categories and debug levels
|
8 years ago |
cFrontend.mli
|
Divide Utils into Utils, Pp, and IStd
|
8 years ago |
cFrontend_checkers.ml
|
[linters] Cast from pointer to integer
|
8 years ago |
cFrontend_checkers.mli
|
[linters] Print name and type of the node in the debugging
|
8 years ago |
cFrontend_checkers_main.ml
|
[log] log to a single file with different categories and debug levels
|
8 years ago |
cFrontend_checkers_main.mli
|
Open Core.Std by default, still use Caml Hashtbl, Map, Set
|
8 years ago |
cFrontend_config.ml
|
[clang] clang pointer map becomes a clang pointer hashtbl
|
8 years ago |
cFrontend_config.mli
|
[clang] clang pointer map becomes a clang pointer hashtbl
|
8 years ago |
cFrontend_decl.ml
|
[log] log to a single file with different categories and debug levels
|
8 years ago |
cFrontend_decl.mli
|
Divide Utils into Utils, Pp, and IStd
|
8 years ago |
cFrontend_errors.ml
|
[log] log to a single file with different categories and debug levels
|
8 years ago |
cFrontend_errors.mli
|
[log] log to a single file with different categories and debug levels
|
8 years ago |
cGeneral_utils.ml
|
[clang frontend] Pass type qualifiers through frontend
|
8 years ago |
cGeneral_utils.mli
|
[IR] Refactor Ident.fieldname _*into Fieldname module
|
8 years ago |
cIssue.ml
|
[log] log to a single file with different categories and debug levels
|
8 years ago |
cIssue.mli
|
Using checkers defined in linter.al and removed hard-coded checkers.
|
8 years ago |
cLocation.ml
|
Remove custom Clang_ast_types module, extend types instead
|
8 years ago |
cLocation.mli
|
Divide Utils into Utils, Pp, and IStd
|
8 years ago |
cMethod_signature.ml
|
Propagate C++ noexcept annotation from frontend to backend
|
8 years ago |
cMethod_signature.mli
|
Propagate C++ noexcept annotation from frontend to backend
|
8 years ago |
cMethod_trans.ml
|
[log] log to a single file with different categories and debug levels
|
8 years ago |
cMethod_trans.mli
|
[IR] Make template info part of Typename.t, rename Typename to Typ.Name
|
8 years ago |
cModule_type.ml
|
[clang frontend] Pass type qualifiers through frontend
|
8 years ago |
cPredicates.ml
|
Predicate for `using namespace`
|
8 years ago |
cPredicates.mli
|
Predicate for `using namespace`
|
8 years ago |
cTL.ml
|
Predicate for `using namespace`
|
8 years ago |
cTL.mli
|
Extended transitions to universal quantified operators
|
8 years ago |
cTrans.ml
|
[log] log to a single file with different categories and debug levels
|
8 years ago |
cTrans.mli
|
Divide Utils into Utils, Pp, and IStd
|
8 years ago |
cTrans_models.ml
|
[ObjC capture] Model functions related to dispatch sources
|
8 years ago |
cTrans_models.mli
|
[IR] Make template info part of Typename.t, rename Typename to Typ.Name
|
8 years ago |
cTrans_utils.ml
|
[log] log to a single file with different categories and debug levels
|
8 years ago |
cTrans_utils.mli
|
[clang frontend] Pass type qualifiers through frontend
|
8 years ago |
cType_to_sil_type.ml
|
[log] log to a single file with different categories and debug levels
|
8 years ago |
cType_to_sil_type.mli
|
[clang] Translate type qualifiers into Sil
|
8 years ago |
cVar_decl.ml
|
[clang frontend] Pass type qualifiers through frontend
|
8 years ago |
cVar_decl.mli
|
[codemod] Move `Procname` into `Typ.Procname`
|
8 years ago |
clang_ast_extend.ml
|
add more quals to SIL
|
8 years ago |
ctl_lexer.mll
|
[police] open IStd everywhere
|
8 years ago |
ctl_parser.mly
|
[log] log to a single file with different categories and debug levels
|
8 years ago |
ctl_parser_types.ml
|
[log] log to a single file with different categories and debug levels
|
8 years ago |
ctl_parser_types.mli
|
[police] open IStd everywhere
|
8 years ago |
objcCategory_decl.ml
|
[log] log to a single file with different categories and debug levels
|
8 years ago |
objcCategory_decl.mli
|
[clang] Translate type qualifiers into Sil
|
8 years ago |
objcInterface_decl.ml
|
[log] log to a single file with different categories and debug levels
|
8 years ago |
objcInterface_decl.mli
|
[clang] Translate type qualifiers into Sil
|
8 years ago |
objcProperty_decl.ml
|
[ios] Remove methods from the tenv as they are not used in the backend
|
8 years ago |
objcProperty_decl.mli
|
[ios] Remove methods from the tenv as they are not used in the backend
|
8 years ago |
objcProtocol_decl.ml
|
[log] log to a single file with different categories and debug levels
|
8 years ago |
objcProtocol_decl.mli
|
[clang] Translate type qualifiers into Sil
|
8 years ago |
types_lexer.mll
|
[police] open IStd everywhere
|
8 years ago |
types_parser.mly
|
[log] log to a single file with different categories and debug levels
|
8 years ago |