Commit Graph

6301 Commits (34f7741ad922da26038e6d31a79af78f113d0e2f)

Author SHA1 Message Date
Ezgi Çiçek cc815f5d20 [pulse] Only propagate existing WrittenTo attributes at function calls 5 years ago
Nikos Gorogiannis 90a544ad2e [java] improve procname constructor 5 years ago
Ezgi Çiçek b372befee4 [pulse] Add more naive Java models 5 years ago
Mitya Lyubarskiy f291f93248 [nullsafe] Implement class-level analysis and calculate meta-issues. 5 years ago
Martin Trojer 36b8ee7198 [ant] replace python integration with ocaml 5 years ago
Nikos Gorogiannis d1e0375f4a [racerd] stop reporting on locals 5 years ago
Ezgi Çiçek 2bd39abefc [purity] Add model for Object.clone() 5 years ago
Martin Trojer baaf81b554 [xcodebuild] replace python integration with ocaml 5 years ago
Mitya Lyubarskiy 3ceb2efe9e [JavaClassName][easy] remove uneccesary whitespace strip 5 years ago
Ezgi Çiçek a65176de22 [pulse] Print SkippedCalls 5 years ago
Dulma Churchill d1923dcd71 [pulse] Changed the name of BaseDomain signature to avoid a name clash 5 years ago
Jules Villard 3ba91fd596 [pulse] refactor of PrePost.t vs AbductiveDomain.t 5 years ago
Jules Villard f726561732 [biabd][minor] `unSome` is just `Option.value_exn` 5 years ago
Jules Villard 7861752bf3 [pulse] rename "PulseArithmetic" to "PulseCItv" 5 years ago
Nikos Gorogiannis 8a99f4b3bb [java] bug fix for type translation 5 years ago
Mitya Lyubarskiy 769c221826 [JavaClassName] Introduce a function to strip out anonymous class suffix from a class 5 years ago
Sungkeun Cho 545e6c8802 [inferbo] Add models of String.lastIndexOf and String.replace 5 years ago
Nikos Gorogiannis 8ede47649c [java][procname] always return pointer types to objects 5 years ago
Mitya Lyubarskiy 544e4f2e6c [Typ.name] Move a function to JavaClassName 5 years ago
Ezgi Çiçek a4c3925d9a [impurity] Track unique accesses 5 years ago
Ezgi Çiçek e3c89b1f10 [impurity] Fix include_value_history 5 years ago
Jules Villard 5b371384fe [reportdiff] stream reading reports 5 years ago
Jules Villard a84fbecbe6 [typo] fix doc 5 years ago
Martin Trojer 4cee0882be move integration tmpfiles to infer-out/tmp/ 5 years ago
Sungkeun Cho e35b26ae8e [inferbo] Get static final array values from class initializer 5 years ago
Artem Pianykh 2c96491e23 [build] Generate sources from atd using dune (but not FCP atds yet) 5 years ago
Artem Pianykh 786a72574f [build] Replace custom make cmds w/ dune promotion and byte_complete 5 years ago
Artem Pianykh 9fc048b503 [build] Use plain dune files instead of make-generated JBuilder/OCaml ones 5 years ago
Artem Pianykh fc5b092779 [lint] Update checkCopyright to handle sexp dune files 5 years ago
Artem Pianykh fcce3c0659 [RFC][build] Use dune environments and profiles instead of contexts 5 years ago
Jules Villard 40e5a3c5c3 [config] smarter handling of completely deprecated boolean options 5 years ago
Jules Villard e5b50d7d46 [quandaryBO] delete :( 5 years ago
Jules Villard 1faf00e58e [InferPrint] rename to JsonReports 5 years ago
Jules Villard 179cc58e17 [InferPrint] simplify a lot 5 years ago
Jules Villard 19e8ae652c [config] split non-json creating stuff out of InferPrint.ml 5 years ago
Jules Villard 339ebe74ec [config] sensible default for --from-json-report 5 years ago
Jules Villard c27e4c72a4 [config] delete --issues-txt option 5 years ago
Jules Villard 96490d1bad [config] delete --summary-stats option 5 years ago
Jules Villard 33626092d4 [config] delete --precondition-stats option 5 years ago
Dulma Churchill 2f90b05c2a [pulse] Add model for malloc 5 years ago
Mitya Lyubarskiy 82fb4e67b9 [nullsafe] Cleanup nullsafe top level execution 5 years ago
Ezgi Çiçek b90d7c42d3 [impurity] Do not add value history in impurity traces 5 years ago
Sungkeun Cho 117ab1164b [cost] Revert "Use type of Provider.get" 5 years ago
Martin Trojer 83062c0499 [buck] always pass --fcp-syntax-only to for buck/clang flavour capture 5 years ago
Sungkeun Cho 020cd199b5 [cost] Use type of Provider.get 5 years ago
Mitya Lyubarskiy 16554689ee [nullsafe][refactor] Don't update typestate twice when typechecking Store instruction 5 years ago
Mitya Lyubarskiy 28db342629 [nullsafe] Evaluate lhs nullability in assignment check based on field declaration 5 years ago
Sungkeun Cho 984c47cefe [inferbo] Remove dead macro definition 5 years ago
Jules Villard 957337bba2 [log] delete PerfStats and EventLogger frameworks 5 years ago
Jules Villard 6e1cca731c [debt] delete Procdesc.is_connected 5 years ago
Jules Villard 8e5ee67fed [config] datatype for checkers 5 years ago
Jules Villard e4602ba0df [clopt] do not generate "--no-" flag for [mk_bool ~long:""] 5 years ago
Ezgi Çiçek c6237f5f9f [pulse] Add model for Object.clone() 5 years ago
Nikos Gorogiannis 10afd021a1 [java] fix primitive types 5 years ago
Ezgi Çiçek ddd09b83fd [impurity] Refactor and ignore invalidations to constant dereferences 5 years ago
Mitya Lyubarskiy 83e72b2cbc [nullsafe][logs] More logs 5 years ago
Mitya Lyubarskiy 66c5f1bbe4 [nullsafe][refactor] Don't modify typestate without a need when typechecking call instruction 5 years ago
Mitya Lyubarskiy cb3a657465 [nullsafe][refactor] Don't modify typestate without a need in Cast instruction 5 years ago
Mitya Lyubarskiy e3a5906f7a [nullsafe][refactor] don't do tricky typestate modification inside set_original_pvar_to_nonnull_in_typestate 5 years ago
Mitya Lyubarskiy 692d618783 [nullsafe][refactor] Split a tricky function with side effect into two 5 years ago
Nikos Gorogiannis 711c48aa86 [java] extract java split name from typ module 5 years ago
Nikos Gorogiannis 95807702fc [java] jtranstype cleanups 5 years ago
Nikos Gorogiannis 34315ec438 [java] classpath and frontend fixes 5 years ago
Sungkeun Cho 3653c68c8e [infer] Add summary-lookup option in infer-explore 5 years ago
Alexander Mols 1dae8f4eb6 Cache hostname lookup in event logger module 5 years ago
Mitya Lyubarskiy 59e17f59b8 [logging] Introduce a function to call arbitrary function with subsequent logs written in an indended way. 5 years ago
Mitya Lyubarskiy 16ed8950e9 [nullsafe][BE] Log to html when TypeState is modified 5 years ago
Nikos Gorogiannis 7f992bbaa9 [java] move the class map of models into JModels 5 years ago
Nikos Gorogiannis f888160142 [java] classpath cleanup 5 years ago
Ezgi Çiçek c144761a26 [pulse] Pull skipped calls into AbductiveDomain 5 years ago
Ezgi Çiçek 5f8e6233bb [pulse] Take into account skipped calls for state comparison 5 years ago
Martin Trojer 74e54575fa [ndkbuild] replace python ndkbuild integration with ocaml 5 years ago
Martin Trojer 284c6fdb3b [buck] replace python buck integration with ocaml 5 years ago
Fernando Gasperi Jabalera ca06b7840c [ProcessPool] Saturate cores evenly when possible 5 years ago
Fernando Gasperi Jabalera addd6037ba Add Scuba tagsets 5 years ago
Jules Villard e38f51f969 [debt] kill --procs-csv 5 years ago
Ezgi Çiçek 562a43621c [pulse] Remove NoJoin sig from PulseBaseDomain 5 years ago
Mitya Lyubarskiy bd83813b3e [tech debt] Remove experimental nullability checkers 5 years ago
Sungkeun Cho baf770680b [cost] Add average runtime to message 5 years ago
Sungkeun Cho c0d3a5ebee [inferbo] Suppress noisy internal error messages 5 years ago
Fernando Gasperi Jabalera 98096f7fb2 [ProcessPool] Prevent workers starvation 5 years ago
Mitya Lyubarskiy 1b3baa3d45 [nullsafe] Fix deadcode 5 years ago
Dulma Churchill 0322e17e72 [IR] print only the passed_as_noescape_block_to attribute if it's set 5 years ago
Sungkeun Cho 7a1e901c83 [inferbo] Keep only one invariant map in the cache 5 years ago
Mitya Lyubarskiy 0340a81002 [nullsafe][tech debt] Get rid of TypeOrigin.Undef 5 years ago
Nikos Gorogiannis 0b3031bbdc [java] separate and improve model handling during capture 5 years ago
Mitya Lyubarskiy d71e2f0d84 [nullsafe][refactor] Restructure code around node typechecking 5 years ago
Sungkeun Cho 9dbc3981cc [infer] Add LRU hash table 5 years ago
Mitya Lyubarskiy db821846d7 [nullsafe] Respect RecentlyNonNull annotation 5 years ago
Nikos Gorogiannis 54c35bc5c6 [java] improve function figuring out package in jclasspath 5 years ago
Dulma Churchill 634a42b619 [SelfInBlock] Take ns_noescape into account when reporting captured strong self. 5 years ago
Artem Pianykh 19093a2fa0 @update-submodule: facebook-clang-plugins Fix handling of non-literal `offsetof` expressions 5 years ago
Fernando Gasperi Jabalera a154c8c328 Make ProcessPool workers each use one pipe to send updates 5 years ago
Fernando Gasperi Jabalera 17c565c2aa [scheduler][restart] Fix timeout failures 5 years ago
Jules Villard 0abc85c352 [java] move "$Lambda$" string to Config.ml 5 years ago
Jules Villard 2047f4c535 [preanal] inlining synthetic methods as a pre-analysis 5 years ago
Nikos Gorogiannis 6c8036e6c0 [buck] fix target quoting regexp 5 years ago
Ezgi Çiçek 7deaae6598 [cost] Rename ZERO_* to *_UNREACHABLE_AT_EXIT 5 years ago
Mitya Lyubarskiy e1f4da320f [nullsafe] Consistent severity for nullsafe issues. 5 years ago
Ezgi Çiçek ebbc0fc7f2 [cost] Add traces for ZERO_* issues 5 years ago
Fernando Gasperi Jabalera 082ae44ec7 Do not send task bar updates when progress bar is off 5 years ago
Mitya Lyubarskiy 335a9efec7 [nullsafe] Trust explicitly annotated third party in all modes 5 years ago
Mitya Lyubarskiy f136bf21b5 [nullsafe][refactor][messaging] Refactor code + more consistent messaging 5 years ago
Mitya Lyubarskiy 2aea7d1304 [nullsafe][refactor] Use ThirdPartyNonnull instead of heuristic in error rendering 5 years ago
Sungkeun Cho 9a38987929 [cost] Do not report `EXPENSIVE_EXECUTION_TIME` when a cost of a node is top 5 years ago
Sungkeun Cho 85812abf71 [cost] Report the biggest cost in function 5 years ago
Nikos Gorogiannis 876abcb283 [annotreach] stop printing trace in report 5 years ago
Fernando Gasperi Jabalera 0397b8248d [scheduler][restart] Add analysis time to BackendStats 5 years ago
Sungkeun Cho 0d046c8e7c [inferbo] Ignore float/double constant 5 years ago
Radu Grigore 5a095ca411 [topl] Switched to low-level syntax. 5 years ago
Nikos Gorogiannis 3538caeb1b [starvation] skip getinstance methods 5 years ago
Mitya Lyubarskiy 73e78d9e20 [orchestration][refactoring] Introduce stronger contract for file-level callback 5 years ago
Fernando Gasperi Jabalera c2a53a1334 [scheduler] Add wall time to ExecutionDuration 5 years ago
Nikos Gorogiannis e01311c431 [scheduler][callgraph] load graph directly from DB 5 years ago
Nikos Gorogiannis 3f4458361c [scheduler][callgraph] only load defined procs 5 years ago
Sungkeun Cho 7a0be26596 [inferbo] Revise semantics of `values` function of Java enum class 5 years ago
Sungkeun Cho ef74f3f18d [cost] Revise message of Provider.get.modeled 5 years ago
Mitya Lyubarskiy d94b365b65 Add documentation and better naming around checker callbacks 5 years ago
Artem Pianykh 3859f178fa [nullsafe] Properly handle method calls on trusted classes under NullsafeLocal mode 5 years ago
Sungkeun Cho 7219cb1eff [inferbo] Do not prune when the pruning target is already bottom 5 years ago
Sungkeun Cho da7cd0b45a [inferbo] Ignore error memory status 5 years ago
Artem Pianykh 3e9702edf2 [build] Fix test build failure due to use of polymorphic compare 5 years ago
Mitya Lyubarskiy f57dc78679 [nullsafe] Error reporting: recommend non-nullable alternarives for known nullable methods 5 years ago
Sungkeun Cho 50e5bfd32f [infer] Find dead signature (.mli file) 5 years ago
Fernando Gasperi Jabalera a66f6cd736 [scheduler][restart] Quantify wasted work 5 years ago
Fernando Gasperi Jabalera 5c5609591e [scheduler][restart] Reduce live-locking by using data produced on failure 5 years ago
Fernando Gasperi Jabalera b2a2919ce2 [scheduler][restart] Add Files to the work queue 5 years ago
Sungkeun Cho 100807ed2a [inferbo] Do not prune values with bottom 5 years ago
Sungkeun Cho f19e6d3c27 Revive llvm_sil.ml 5 years ago
Sungkeun Cho 3c29685667 [infer] Find dead module (.ml file) 5 years ago
Ezgi Çiçek dcb3ab1288 [inferbo] Remove dangling file 5 years ago
Sungkeun Cho 046e392f3a [infer] Add --continue-analysis option 5 years ago
Artem Pianykh 9697c6e294 [nullsafe] Fix treatment of enum values wrt nullsafe mode 5 years ago
Artem Pianykh 2572819a5b [nullsafe] Directly model nullability of values from third-party code 5 years ago
Artem Pianykh b50f13eb18 [nullsafe] Support Nullsafe(Local, trust=all/none) mode 5 years ago
Nikos Gorogiannis 43b3ef60f8 [db][procname] kill dead optional argument 5 years ago
Ezgi Çiçek ec950666a0 [infer] rely on driving for Procdesc.Node.equal_id 5 years ago
Mitya Lyubarskiy c38c2cf1bf [nullsafe][EASY] Add period at the end of dereference message when origin is present 5 years ago
Nikos Gorogiannis 281385203f [biabduction] kill guarded by check 5 years ago
Jules Villard 317a74ffee [nullsafe] show state after each instruction in debug HTML 5 years ago
Nikos Gorogiannis c10c7a39a6 [java] use a package/classname record for java classes instead of string 5 years ago
David Pichardie 64289cde4d [Java frontend]Javalib's lambda rewritting is making his way through Infer 5 years ago
Fernando Gasperi Jabalera 865691b535 [scheduler][restart] Use symlinks as locks in ProcLocker 5 years ago
Mitya Lyubarskiy 8ab9a7e14e [nullsafe] Don't emit Field Not Initialized warnings on @JsonField-annotated fields 5 years ago
Sungkeun Cho 175af05b8b [inferbo] Add model of vector resize 5 years ago
Nikos Gorogiannis ace23a1670 [java] use plain strings instead of mangled for JavaClassName 5 years ago
Nikos Gorogiannis a85dfe6af4 [java] get type name directly from procname 5 years ago
Ezgi Çiçek 8e3f9dd32e [cost] Pass proc_name around rather than recomputing 5 years ago
Sungkeun Cho 9562ab4d68 [inferbo] Suppress integer overflow in hash functions 5 years ago
Ezgi Çiçek ceb50cdf0e [cost] Adjust cold-start loom query 5 years ago
Fernando Gasperi Jabalera bf210844d9 Log the scheduler and cores used as part of the environment 5 years ago
Sungkeun Cho 72a061d101 [infer] Fix `make deadcode` 5 years ago
Nikos Gorogiannis c51db130fc [driver] don't clear MAKEFLAGS 5 years ago
Mitya Lyubarskiy d9595181f7 [nullsafe] Ignore autogenerated fields when issuing Field Not Initialized 5 years ago
Sungkeun Cho 4311371d81 [inferbo] Revise split model semantics 5 years ago
Sungkeun Cho 23ee36e44e [inferbo] Move Split modules to next of StdVector 5 years ago
Sungkeun Cho 35491c73a8 [inferbo] Refactor the parameter of checker 5 years ago
Sungkeun Cho bb625c6ca8 [infer] Use let* instead of let%bind 5 years ago
Jules Villard 826fd8a999 [pulse] monad, monads everywhere 5 years ago
Jules Villard 72f560036d [pulse] formal/actual length mismatch is a contradiction 5 years ago
Dulma Churchill 58913e6a1c [Infer] Dedup reports of weakSelf in Noescape block 5 years ago
Dulma Churchill 00c52a52c2 [Infer] Dedup the reporting of Captured StrongSelf 5 years ago
Dulma Churchill f6341977fb [Infer] Dedup reports of strongSelf Not checked 5 years ago
Sungkeun Cho 22601846b2 [inferbo] Add model of emplace_back 5 years ago
Artem Pianykh b41064149b [syntax] Add let binding syntax to IOption 5 years ago
Artem Pianykh 44f41d2929 [infer] Extend annotation framework to handle wider variety of param types 5 years ago
Nikos Gorogiannis ddfa6fc96e [scheduler][callgraph] use counter instead of set of scheduled procs 5 years ago
Nikos Gorogiannis a44e138dd4 [scheduler][callgraph] use a queue for graph leaves instead of a list 5 years ago
Nikos Gorogiannis 757f6ee829 [scheduler][static callgraph] remove lazy init now that it's enforced in ProcessPool 5 years ago
Ezgi Çiçek 7f8ce501d0 [purity] Remove duplicated/unnecessary code 5 years ago
Sungkeun Cho 5b0fd3af6f [inferbo] Distinguish unreachable and error status 5 years ago
Jules Villard 2c5a297636 @allow-large-files [ocaml] upgrade core to v13 5 years ago
Jules Villard 66361961b6 [ocaml] more Not_found_s 5 years ago
Jules Villard a684a1edf0 [ocaml] preparations for core v13 5 years ago
Jules Villard bc50a8e724 [inferbo] no polymorphic max in [degree_with_term] 5 years ago
Jules Villard b7f42759cf [ocaml] aliasing sexp_{list,option} doesn't work anymore 5 years ago
Dulma Churchill 51c713adf2 [SelfInBlock] Improve the error message of stronSelf Not checked 5 years ago
Radu Grigore c2161f3c28 [topl] Minor: debug message more accurate. 5 years ago
Sungkeun Cho b9db4fa4b9 [inferbo] Add model for C++ exception throw 5 years ago
Sungkeun Cho 412e8a977c [inferbo] Add model for std::shared_ptr<>::operator-> 5 years ago
David Pichardie 2cccf8adce Invokedynamic removing by class file rewriting 5 years ago
Sungkeun Cho ca04002f6c [inferbo] Revise finding constructors on std::make_shared 5 years ago
Fernando Gasperi Jabalera e2f837c81e [scheduler] Instrument ProcLocker to record its systime 5 years ago
Mitya Lyubarskiy bd166a244f [nullsafe][easy] fix the wrong comment about order of arguments in `instanceof` 5 years ago
Sungkeun Cho 92e7aeeb3e [infer] Fix clang frontend for switch statment 5 years ago
Dulma Churchill a864823f38 [SelfInBlock] Fix a bug in exps_of_instr where some expressions were missed. 5 years ago
Dulma Churchill 682f8c5355 [SelfInBlock] Add the procname to the is_no_escape_block flag to improve the error message of the weakSelf In Noescape block check 5 years ago
Nikos Gorogiannis 6076e22f18 [racerd] improve handling of summaries of synchronized methods 5 years ago
Sungkeun Cho f6123cfac1 [inferbo] Make taint analysis inter-procedural 5 years ago
Mitya Lyubarskiy 597c730474 [nullsafe] Treat parameter in overrides of `equals(Object param)` as nullable. 5 years ago
Mitya Lyubarskiy ae907d80cf [nullsafe] Model Object.equals() and descentands as FalseOnNull 5 years ago
Mitya Lyubarskiy 79d088e676 [nullsafe][EASY] functions that are modelled as @TrueOnNull should be also modelled for nullability. 5 years ago
Mitya Lyubarskiy 067a545c0e [nullsafe] Fix a bug and specify behavior for multiparam version for @TrueOnNull and @FalseOnNull annotations 5 years ago
Mitya Lyubarskiy 5bee0858c6 [nullsafe][refactor] Simplify logic for the method handling PRUNE instruction 5 years ago
Fernando Gasperi Jabalera b212c4e20d [schedulers] Lazy initialization to avoid fork copies 5 years ago
Mitya Lyubarskiy 7b502d863c [nullsafe][refactor] Simplify and rename a function. 5 years ago
Mitya Lyubarskiy 2001d39e9a [nullsafe][refactor] Simplify and document code processing particular part of prune instruction 5 years ago
Mitya Lyubarskiy a55179ba80 [nullsafe][refactoring] Simplify call to condition_redundant checks. 5 years ago
Mitya Lyubarskiy a4a4b92690 [nullsafe][refactor] TypeState.ml cleanup: Remove uneccessary calls 5 years ago
Mitya Lyubarskiy eded9141d9 [nullsafe][refactor] Clean up code responsible for manipulations with `containsKey()` 5 years ago
Dulma Churchill 7631d34f43 [SelfInBlock] Refactor the reporting to run only once over the domain 5 years ago
Nikos Gorogiannis a6da208e9d [starvation] use access expressions instead of access paths 5 years ago
Ezgi Çiçek b5562f124a [cost] Disable reporting of allocation costs 5 years ago
Sungkeun Cho cf6073a60c [inferbo] Check tainted value is used in array accesses or malloc 5 years ago
Sungkeun Cho f94990a0c2 [inferbo] Add taint domain 5 years ago
Dulma Churchill af380708aa [SelfInBlock] Fixing bugs in checking nullable annotation when reporting strongSelfNotChecked 5 years ago
Ezgi Çiçek 239a5302f6 [pulse] Add more models for Java 5 years ago
Fernando Gasperi Jabalera 0b22fbb01b Fix RestartSchedulerTests 5 years ago
Mitya Lyubarskiy 95d0e49c62 Rename is_override to has_same_signature to correctly reflect behavior 5 years ago
Sungkeun Cho 4a08151851 [cost] Non-symbolic value for unknown external function call 5 years ago
Ezgi Çiçek 040442c93b [pulse] Don't write through pointer arguments in Java 5 years ago
Nikos Gorogiannis 777eb33870 [racerd] use concurrent context for reporting in C++/ObjC 5 years ago
Sungkeun Cho 5510223850 [infer] Get rid of the is_cpp_nothrow field and is_cpp_noexcept_method 5 years ago
Fernando Gasperi Jabalera ce32a1b917 [scheduler] [restart] Implement the ProcLocker 5 years ago
Nikos Gorogiannis 9648632bd5 [clang] Revert "Translate SynchronizedStmt" 5 years ago
Nikos Gorogiannis 1a0c73ab99 [starvation] decouple AbstractAddress from starvation 5 years ago
Ezgi Çiçek d84a9e0c1c [inferbo][cost] Generalize String models and add models for StringBuilder 5 years ago
Ezgi Çiçek 6a38121b8a [inferbo] Add model for String.substring 5 years ago
Ezgi Çiçek c51f47b05e [inferbo] Revise Java's String constructor models 5 years ago
Jules Villard 81e3dc5069 [HIL] do not crash on confusing function call expressions 5 years ago
Sungkeun Cho 9d9cbdc3d6 [inferbo] Cache results of `replace_make_shared` call 5 years ago
Sungkeun Cho 7f25684491 [inferbo] Check nested global array access 5 years ago
Sungkeun Cho f8ee0a14aa [inferbo] Give semantics of std::make_shared as simple constructor 5 years ago
Dulma Churchill 63428e7b69 [SelfInBlock] Check for when weakSelf is used in a no escaping block 5 years ago
Dulma Churchill 05ea5ec844 [clang frontend] Add support for the clang attribute NS_NOESCAPE for Objective-C blocks in Sil 5 years ago
Artem Pianykh 4f4455b73c [compilation] Turn on more warnings; make 'partial match' fatal 5 years ago
Artem Pianykh c735b6f0a5 [nullsafe] Introduce NullsafeMode as a replacement for `is_strict_mode` 5 years ago
Dulma Churchill 355ff5c202 [clang frontend] Refactor block_data into a record 5 years ago
Ezgi Çiçek 43a99745b6 [infer] Get rid of verbose Typ.mk Tvoid 5 years ago
Artem Pianykh 17c5f5c424 [build] Update to dune 2 5 years ago
Nikos Gorogiannis b2dc55ce0a [starvation] extract lock module 5 years ago
Ezgi Çiçek 9f4098ea1a [cost] Revise substring's cost model 5 years ago
Nikos Gorogiannis 21cff2d659 [starvation] substitute arguments over parameters in locks 5 years ago
Nikos Gorogiannis 07e91cabf7 [starvation] no inner class normalisation for java 5 years ago
Artem Pianykh ea3cbae757 [nullsafe] Rename nullability variants 5 years ago
Fernando Gasperi Jabalera c0a990c47c [scheduler] [restart] Reschedule incomplete tasks 5 years ago
Mitya Lyubarskiy 8199ed1555 [nullsafe] Add `nullsafe_FIXME` method to suppress nullability issues. 5 years ago
Mitya Lyubarskiy 964a11ae23 [nullsafe] Documentation and minor code cleanup around models for `checkNotNull` 5 years ago
Dulma Churchill 9dfd1943e6 [selfInBlock] Remove false positive from mix self weakSelf 5 years ago
Ezgi Çiçek 4677584018 [pulse] Remove map suffix from SkippedCalls 5 years ago
Ezgi Çiçek a0fd5a0e6a [pulse] Refactor attributes into domain 5 years ago
Nikos Gorogiannis 72a7a0eaab [racerd] use typenames instead of strings in class map 5 years ago
Ezgi Çiçek 7c94ce8cd4 [cost] Fix nb_node_exec 5 years ago
Mitya Lyubarskiy 897e3fa8af Remove FB-ONLY from publicly visible files 5 years ago
Fernando Gasperi Jabalera b8e6bb70b9 Add ProcLocker with a dummy implementation 5 years ago
Ezgi Çiçek 7cb11b587a [inferbo] Revise String.split's bounds 5 years ago
Dulma Churchill b1eb969635 [selfInBlock] Add a new check when strongSelf is captured in a (sub)block. 5 years ago
Mitya Lyubarskiy 19bc35d836 [nullsafe] Make condition redundant slightly less aggressive 5 years ago
Mitya Lyubarskiy 327aa001c3 [nullsafe] Propagate type origin to condition redundant type error 5 years ago
Nikos Gorogiannis ecea3ecb93 [ondemand] only provide procnames to cluster callbacks 5 years ago
Nikos Gorogiannis c878aa6135 [ondemand] remove type environments from cluster callbacks 5 years ago
Dulma Churchill edc47d4a96 [selfInBlock] Handle conditionals as well as ifs 5 years ago
Dulma Churchill 430727519b [clang frontend] Translate BinaryOperators in ifs equally whether they are part of a ExprWithCleanups or not 5 years ago
Dulma Churchill 66c6a73cc6 [SelfInBlock] Report strongSelf Not Checked when strongSelf passed to a function as argument 5 years ago
Dulma Churchill 05bd4185e0 [SelfInBlock] Reporting strongSelf Not Checked only in field access 5 years ago
Fernando Gasperi Jabalera 11300370ed Add task_result type for scheduler analysis tasks 5 years ago
Jules Villard a8b2c58bfb [pulse] new option to turn pulse back into an intra-procedural analysis 5 years ago
Martin Trojer 764b2229db [buck] also use the converted compdb paths before parsing 5 years ago
Martin Trojer 9e0922c269 [buck] Use project_root as base for compilation data file instead of cwd 5 years ago
Ezgi Çiçek d673bb0073 [cost] Move cost to its own realm and refactor 5 years ago
Nikos Gorogiannis f8e0a148d1 [starvation] simplify deadlock dedup 5 years ago
Mitya Lyubarskiy cf26c024bf [nullsafe] Specific error message for overriding Object.equals() 5 years ago
Ezgi Çiçek 2e8fc68080 [cost] Add mli file for CostDomain 5 years ago
Mitya Lyubarskiy d641c9ac9a [nullsafe] Better error message for inheritance rule, part 2 5 years ago
Sungkeun Cho c93c3163d6 [inferbo] Get global constant array values from initializers 5 years ago
Nikos Gorogiannis 895ac9c41c [starvation] MayBlock and StrictModelCall events should take procname, not string 5 years ago
Nikos Gorogiannis 5ba13ae6a0 [starvation] improve debugging by consistently using pp vs describe 5 years ago
Nikos Gorogiannis 279f1c85ce [racerd] abbreviate procnames in report text 5 years ago
Ezgi Çiçek dd59a141f0 [impurity] Rely on set of skipped functions to determine impurity 5 years ago
Ezgi Çiçek 426b7dfe51 [pulse] Track skipped functions 5 years ago
Mitya Lyubarskiy eddf2ef180 [nullsafe] Better error message for inheritance rule 5 years ago
Sungkeun Cho 67a4b73cd0 [inferbo] Revise bit-and semantics on pointer value 5 years ago
Sungkeun Cho 2287910968 [inferbo] Precise unknown value depending on type 5 years ago
Ezgi Çiçek 95bf0d3c98 [impurity] Read pulse from Payload 5 years ago
Ezgi Çiçek a28ccbb180 [purity] Add pure frontend functions 5 years ago
Ezgi Çiçek 5b86031798 [frontend] Move clang constants to Procname 5 years ago
Sungkeun Cho 3de92484df [inferbo] Refactoring: move get_formals type definition 5 years ago
Jules Villard 3bf771bff4 [pulse] add model for std::vector<>::at() 5 years ago
Fernando Gasperi Jabalera 83cff5e435 Use Procnames as schedule units in the RestartScheduler 5 years ago
Ezgi Çiçek b12f1cb09c [dune] Add dune build @check 5 years ago
Nikos Gorogiannis 45ada8703e [starvation] allow aliasing of parameters across threads 5 years ago
Sungkeun Cho 97ba078d55 [inferbo] Revise getting size of array block 5 years ago
Ezgi Çiçek 61b83c037d [purity] Simplify should_report 5 years ago
Nikos Gorogiannis 8d0f6820ca [starvation] standardise extraction of access expressions 5 years ago
Mitya Lyubarskiy 696c0e8b09 [nullsafe] Introduce a flag for conditionally disabling field not initialized issue 5 years ago
Mitya Lyubarskiy 715227d126 [nullsafe] Show Strict mode violations as errors: part 3 5 years ago
Mitya Lyubarskiy 6417b19ace [nullsafe] Show violations of @NullsafeStrict mode as errors: Part 2 5 years ago
Mitya Lyubarskiy be05c8a7dd [nullsafe] Show Strict mode violations as errors: part 1 5 years ago
Nikos Gorogiannis c5a8f2e454 [starvation][whole-program] gate analysis of constructors 5 years ago
Fernando Gasperi Jabalera 4322701ecf Use a queue to handle tasks in the RestartScheduler 5 years ago
Artem Pianykh 592c746e6b [java] Make override resolution consider parameter types 5 years ago
Jules Villard 0c093d6289 [java] kill --specs-library 5 years ago
Jules Villard 8a13fd4e5a [buck] kill python code for the dead Java integration 5 years ago
Jules Villard 4b4183b402 [buck] stop supporting the pre-genrule Java integration 5 years ago
Sungkeun Cho 322eee5bf7 [inferbo] Suppress trace print 5 years ago
Fernando Gasperi Jabalera e6069f3ef7 Create RestartScheduler 5 years ago
Sungkeun Cho 1305db390a [infer] Load global array constant 5 years ago
Sungkeun Cho 9b1001eda2 [litho] Make analysis null return aware 5 years ago
Sungkeun Cho 16f18792f1 [infer] Capture global initializer ondemand 5 years ago
Nikos Gorogiannis a79a819679 [typ][javaclass] abstract typename 5 years ago
Fernando Gasperi Jabalera 87b29a2d72 Add --scheduler option 5 years ago
Nikos Gorogiannis b8d51b0493 [starvation] use root component in lock order 5 years ago
Ezgi Çiçek 6637557781 [inferbo] Add models for Preconditions.checkNotNull and Preconditions.checkState 5 years ago
Nikos Gorogiannis 32639d6ebc [racerd] assume unknown code returns owned objects 5 years ago
Ezgi Çiçek a187d1b0b6 [pulse] Fix unequal length 5 years ago
Kfir Schindelhaim 33b3ea8b10 Update CK linter for subclasses 5 years ago
Ezgi Çiçek 6f64131ae6 [pulse] Do not havoc arguments of unknown functions that are pointers to const 5 years ago
Nikos Gorogiannis 9d70339b61 [starvation] ignore unary ops in lock paths 5 years ago
Ezgi Çiçek 12dcede3e9 [litho] Use read_full 5 years ago
Sungkeun Cho 6cc7926e23 [inferbo] Use Ondemand.get_proc_desc 5 years ago
Nikos Gorogiannis 89f6390e76 [starvation] make lock type more explicit 5 years ago
Fernando Gasperi Jabalera 3cb287bc63 Rename TaskScheduler module as FileScheduler 5 years ago
Sungkeun Cho 4371a2c2f0 [cost][inferbo] Refactor to use Payload.read/read_full 5 years ago
Nikos Gorogiannis 2e419c6110 [starvation] make lock type abstract 5 years ago
Sungkeun Cho 0b7e479b34 [cost] Use actual call path when printing unknown function calls 5 years ago
Ezgi Çiçek 4cd595aebd [pulse] Add naive model for array length in Java 5 years ago
Nikos Gorogiannis cbf068d1a0 [racerd] remove redundant check 5 years ago
Sungkeun Cho 0e8ff74819 [inferbo] Refactor functions getting summary 5 years ago
Sungkeun Cho 4ddf46268f [infer] Create missing result directories 5 years ago
Ezgi Çiçek 598a4d5a55 [pulse] Ignore Exceptional CF 5 years ago
Jules Villard e4dd2bbd8c [buck] one buck mode datatype to rule them all 5 years ago
Sungkeun Cho b49f39b80e [cost] Add a cost model 5 years ago
Jules Villard 1c2aad9228 [driver] --merge should force merging in all cases 5 years ago
Jules Villard 6d952eb3e2 [buck] always merge tenvs regardless of mode 5 years ago
Jules Villard c3688b75e6 [man] fix wrong section for --capture-blacklist 5 years ago
Jules Villard f98045a9a8 [driver] no need for `Driver.equal_mode` 5 years ago
Sungkeun Cho 73029bbf2e [AL] Fix ctl parser conflicts 5 years ago
Jules Villard dd2c505890 [processpool] handle BoJo case 5 years ago
Ezgi Çiçek cb9bb2a73c [pulse] Add simplified models for Java iterators and `Object.equals` 5 years ago
Sungkeun Cho 3d087ff5e5 [inferbo] Update relation between iterator and integer value on Call 5 years ago
Sungkeun Cho 7e3275dcc8 [inferbo] Add relation between iterator and integer value 5 years ago
Nikos Gorogiannis 1dc2e8a87c [RFC][java] kill regexp-based line number fixer 5 years ago
Nikos Gorogiannis 91fa6a5404 [typ] extract Procname from Typ 5 years ago
Nikos Gorogiannis 33352623a5 [typ] extract Fieldname from Typ 5 years ago
Nikos Gorogiannis cef051dd1a [typ] extract Struct module 5 years ago
David Pichardie c1d4e57561 Cleaning in the Java Frontend 5 years ago
Radu Grigore 3554101ece [topl] Generate simpler monitor for deterministic states. 5 years ago
Radu Grigore c9699b9cd4 [biabduction] Do not join postconditions after the footprint phase. 5 years ago
Jules Villard 65d0d18326 [SIL] splitting off biabd stuff from SIL 5 years ago
Jules Villard bc799fc6cd [IR] `PredSymb.dangling_kind option` can be replaced by `bool` 5 years ago
Jules Villard 6c988160c1 [IR] kill unused `Sil.hpred` payload 5 years ago
Jules Villard 0cab96b43e [SIL] move some stuff to Pvar 5 years ago
Jules Villard 30b74413a5 [SIL] move some printing stuff to Exp 5 years ago
Jules Villard a6c8e7c98e [pp] move utility function from Sil to Pp 5 years ago
Sungkeun Cho 78ff7f7942 [litho] Distinguish builder object by latest callsite 5 years ago
Sungkeun Cho 805e3f17fc [litho] Do not remove non-build-called part at build calls 5 years ago
Ezgi Çiçek 01755ef48e [inferbo] Add model for String.split 5 years ago
Radu Grigore 6178d062b2 [topl] Minor comment improvement. 5 years ago
Radu Grigore 4f362ba977 [topl] Print debugging output on -g. 5 years ago
Radu Grigore 3e9d1bff16 [topl] Bugfix in matching constructor names. 5 years ago
Radu Grigore 7bfef217de [biabduction] Simplify postconditions after re-execution. 5 years ago
Radu Grigore 4654424b03 [topl] More biabduction-friendly monitor. 5 years ago
Radu Grigore b70a0f0b65 [topl] Optimize code instrumentation. 5 years ago
Ezgi Çiçek 5776d7cfab [litho] Report at created location with bold message 5 years ago
Radu Grigore cbb71c6203 [topl] Get number of arguments from property. 5 years ago
Radu Grigore 91ebfe9c20 [topl] Support side conditions for transitions. 5 years ago
Mitya Lyubarskiy acc20f3461 [nullsafe] model HashMap.put() 5 years ago
Mitya Lyubarskiy e1f0a2176e [nullsafe][EASY] correct the signature for Preconditions.checkNotNull() 5 years ago
Ezgi Çiçek be1fda72a8 [inferbo] Add model for `Collection.toArray` 5 years ago
Sungkeun Cho 5bdd70e8f0 [inferbo] Refactor some function names 5 years ago
Sungkeun Cho 822ea72978 [inferbo] Add mli files 5 years ago
Sungkeun Cho 396d1d20ce [inferbo] No phantom field in inferbo 5 years ago
Sungkeun Cho 831b487b6a [inferbo] Add bufferOverrrunSemantics.mli 5 years ago
Ezgi Çiçek 0b5d7b71cb [inferbo] Add model for load of java.util.Collections.EMPTY_* 5 years ago
Ezgi Çiçek 12478e1238 [inferbo] Add models for Java Collections 5 years ago
Mitya Lyubarskiy 9285c51dfa [nullsafe] Enum values can be used as non-null without strictification 5 years ago
Sungkeun Cho 387ef518f9 [inferbo] Revert external relational domains (apron, elina) 5 years ago
Ezgi Çiçek ada1d6f3c7 [litho] Add create method to the trace and simplify trace printing 5 years ago
Ezgi Çiçek 1e1d40b460 [litho] Remove functor that is instantiated once 5 years ago
Ezgi Çiçek 9ed9363207 [litho] Remove receiver from MethodCallPrefix 5 years ago
Ezgi Çiçek 38421e2735 [litho] Remove old domain 5 years ago
Nikos Gorogiannis e42bd8cd6c [typ][fieldname] further reduce and improve interface 5 years ago
Nikos Gorogiannis 59a95b316c [typ][fieldname] simplify and streamline interface 5 years ago
Nikos Gorogiannis c45b55bff1 [typ][fieldname] unify clang and java fieldname types 5 years ago
Nikos Gorogiannis 2c44035297 [typ][fieldname] eliminate uses of Java.from_string 5 years ago
Sungkeun Cho bc5f740945 [infer] make deadcode is back 5 years ago
Sungkeun Cho 6fb2a94f57 [litho] Not ignore location 5 years ago
Sungkeun Cho 1f64acf3de [litho] Moved is_build_called and added is_return_called 5 years ago
Jules Villard 49fb5b7c85 [pulse] do arithmetic on pointers too 5 years ago
Ezgi Çiçek 47c89611a5 [litho] Remove GraphQL ShouldUpdate analysis 5 years ago
Nikos Gorogiannis 8ed2c77187 [logging] conditionally log contents of argument files in environment 5 years ago
Nikos Gorogiannis ce39017611 [typ][fieldname] make java representation more sharing friendly and typesafe 5 years ago
Mitya Lyubarskiy 9b8334f895 [nullsafe] Model com.facebook.common.Preconditions 5 years ago
Jules Villard 9366c94bbc [pulse] avoid false positives involving `folly::fbstring` 5 years ago
Jules Villard 0a59e83190 [pulse] debug info about contradictions 5 years ago
Jules Villard e06a43a677 [pulsebo] use inferbo more in summaries 5 years ago
Jules Villard 1bde1ef0f0 [pulse] use inferbo's prune in `PRUNE` nodes 5 years ago
Jules Villard fd9d963b1c [inferbo] generalise `prune_comp` to `prune_binop` 5 years ago
Nikos Gorogiannis 6edf037659 [starvation] treat precondition calls as assumes 5 years ago
Nikos Gorogiannis b994fa7f70 [starvation] add path sensitivity on Future.isDone 5 years ago
Sungkeun Cho dc85213813 [litho] Analyze child using its code and summary 5 years ago
Sungkeun Cho 2835468df9 [litho] Add substitution at function calls 5 years ago
Sungkeun Cho 251d648f0c [litho] Add callees formal information to extras 5 years ago
Nikos Gorogiannis b012bb9435 [racerd] ownership of contained objects should be that of container 5 years ago
Jules Villard 6a8a811e69 [pulse][minor] simplifications in PulseOperations pruning 5 years ago
Jules Villard dd5adb9791 [pulse] add inferbo information to models 5 years ago
Jules Villard 17bef4bd31 [SIL][trivial] rename `text` -> `to_string` and delete useless comments 5 years ago
Ezgi Çiçek f4d3513724 Revert "[litho] Check and report on all nodes where return calls" 5 years ago
Ezgi Çiçek 776d4bf97d [litho] Change the domain 5 years ago
Ezgi Çiçek bdd4664177 [litho] Ignore location in CreatedLocation 5 years ago
Jules Villard eb52b28f91 [pulsebo] use inferbo in prunes 5 years ago
Jules Villard d9f5d8779b [pulsebo] more binary operators 5 years ago
Jules Villard 2316608b85 [pulsebo] Bottom intervals cannot appear in an abstract state 5 years ago
Jules Villard 70fc1ab44a [pulse] eval unops using inferbo 5 years ago
Sungkeun Cho fc3110f651 [litho] Use another method call type that compare only prefix 5 years ago
Ezgi Çiçek e356ae2b01 [litho] Treat inter-proc calls as no-op for now 5 years ago
Ezgi Çiçek cff85799de [litho] MethodCalls comparison shouldn't take receiver into account 5 years ago
Sungkeun Cho 5f77a3c1a5 [litho] Check and report on all nodes where return calls 5 years ago
Nikos Gorogiannis 9df0c678de [starvation][whole-program] more models 5 years ago
Ezgi Çiçek 9c1bef41e7 [litho] Make MethodCall comparison oblivious to prop suffixes 5 years ago
Sungkeun Cho 668969a3c2 [frontend] Do not die when selector is unknown in objc boxed expr 5 years ago
Ezgi Çiçek 07cef38d1f [litho] Track Typ.name of create methods 5 years ago
Sungkeun Cho 47790ed496 [litho] Add prop check in the new domain 5 years ago
Sungkeun Cho 5514238f45 [litho] Add domain for a model called 5 years ago
Sungkeun Cho 060a0914ba [litho] Add a domain for created locations 5 years ago
Sungkeun Cho f16534f390 [litho] Add dummy memory type 5 years ago
Jules Villard bf0d1d8861 [uninit] do not spam spurious error 5 years ago
Jules Villard 85659d8852 [ocaml] 4.08.1 5 years ago
Nikos Gorogiannis 9941a16e98 [starvation] model Thread.join as blocking 5 years ago
Nikos Gorogiannis 34899d3b8b [starvation] fix FPs due to mishandling wait 5 years ago
Dulma Churchill d00d8b3597 [AL] Allow to match typedefs and pointers. 5 years ago
Martin Trojer fbe1c92c17 clang9 5 years ago
Dulma Churchill f73671a5dd [test determinator] Matching on mangled C and C++ names 5 years ago
Nikos Gorogiannis 1c0e42bf3f [starvation][whole-program] static initializer attributes 5 years ago
Mitya Lyubarskiy 8582a782d9 [nullsafe] Support comments and empty lines in third party repo .sig files 5 years ago
Dulma Churchill f69d0992bc [self-in-block] Add new issue type MULTIPLE_WEAKSELF 5 years ago
Dulma Churchill 431a9beaf0 [self-in-block] Improving the error message for strong_self_not_checked 5 years ago
Josh Berdine 3c6e2469de [ocamlformat] Enable parsing and reformatting docstrings 5 years ago
Nikos Gorogiannis 0319dac803 [starvation][whole-program] fix buggy model 5 years ago
Sungkeun Cho aef3797837 [inferbo] Add arrayBlk.mli 5 years ago
Sungkeun Cho e7f4bb2453 [inferbo] Add missing mli: absLoc.mli 5 years ago
Nikos Gorogiannis ea645cceab [racerd] behave more angelically when dealing with certain methods without summary 5 years ago
Sungkeun Cho ab7c61b836 [inferbo] Extend bound domain to express multiplication of bounds 5 years ago
Sungkeun Cho 82db1c1350 [pulse] Share subst function of itv 5 years ago
Nikos Gorogiannis 7a538c5004 [starvation][whole-program] thread class 5 years ago
Nikos Gorogiannis aef34d8384 [starvation][whole-program] analyze constructors for initial attribute state 5 years ago
Nikos Gorogiannis 82a9f1ac65 [starvation][whole-program] Looper and Handler models and semantics 5 years ago
Artem Pianykh 6564dc9e2f [nullsafe] Add androidx.core.util.Preconditions.checkNotNull models 5 years ago
Jules Villard 9610ceb4b8 [pulse] substitute inferbo attributes in callee summaries 5 years ago
Dulma Churchill c9c4adebc2 [AL] Improve the predicate for checking visibility attribute and example rule for checking macro for category implementation 5 years ago
Dulma Churchill 48da570aa0 [AL] Introduce a way of binding the two witnesses of an AND formula 5 years ago
Jules Villard df49f318f6 [pulse] havoc formals passed by reference to unknown procedures 5 years ago
Jules Villard 32f60f3d3c [pulse] model the fact `free(0)` is a no-op 5 years ago
Jules Villard 3fbefbad34 [pulse] model some of `std::atomic` 5 years ago
Sungkeun Cho da849cc320 [pulse] Add binop arithmetic for BoItv 5 years ago
Sungkeun Cho 61ae040077 [pulse] Add bo_itv to pulse attributes 5 years ago
Mitya Lyubarskiy b41593acb7 [nullsafe] Specify "InferredNonnull" type origin even if it was already Nonnull 5 years ago
Dulma Churchill 75794301dc [AL] Refactor CTL formulas and debugger into separate modules 5 years ago
Dulma Churchill c3e16dbdbc [AL] Remove unused tableaux evaluation 5 years ago
Josh Berdine 2303cadb73 [ocamlformat] unbreak 5 years ago
Sungkeun Cho 8fa098474e [cost] Fix the model of substring 5 years ago
Ezgi Çiçek fb56f42716 [infer] Rename value to arg_payload in ProcnameDispatcher.Call.FuncArg 5 years ago
Ezgi Çiçek eb8c8af117 [pulse] Move models to ProcnameDispatcher style 5 years ago
Dulma Churchill 766fc2c072 [AL] Adding a new transition to siblings 5 years ago
Sungkeun Cho b15395ad60 [infer] Remove marker from procname dispatcher 5 years ago
Ezgi Çiçek 3d181bd831 [infer] Polymorphic value type for `FuncArg` 5 years ago
Ezgi Çiçek 3792b9b17a [infer] Record the value of function arguments in ProcnameDispatcher calls 5 years ago
Mitya Lyubarskiy b2910c1336 [nullsafe] More specific error messaging for Null nullability 5 years ago
Mitya Lyubarskiy 29ae8086ec [nullsafe] Introduce Null nullability type 5 years ago
Mitya Lyubarskiy 7d1959a5aa [nullsafe][bug fix] Introduce a param guiding optimistic treatment of third party params and fix a bug in the current behavior. 5 years ago
Mitya Lyubarskiy 473147eb40 [nullsafe] Respect third party repo when identifying whether to hide bad param calls 5 years ago
Mitya Lyubarskiy bd426954a3 [nullsafe][easy][bug fix] Swap over reporting for undeclared and already declared third party 5 years ago
Nikos Gorogiannis 624d7d7930 [starvation][whole-program] more models 5 years ago
Nikos Gorogiannis 404caf3bb4 [starvation][whole-program] track runnables as attributes 5 years ago
Nikos Gorogiannis 20a7e9d75b [starvation][whole-program] add a bit of typestate/dataflow 5 years ago
Josh Berdine 61c0a92682 [ocamlformat] Add link to .ocamlformat from c_stubs 5 years ago
Sungkeun Cho 6885fb4256 [infer] Distinguish dummy struct types from normal ones when merging tenv 5 years ago
Nikos Gorogiannis ff819da3c6 [starvation-whole-program] more modeled executors 5 years ago
Sungkeun Cho f958c74231 [inferbo] Refactoring: rename "is_" to "get_" for optional returns 5 years ago
Jules Villard b3d0461317 [IR] kill PredSymb.func_attribute by moving sentinel attrs to its own ProcAttribute field 5 years ago
Jules Villard a9df6a917f [IR] kill never-true "no_return" flag of Tfun type desc 5 years ago
Jules Villard 997948914f [IR] remove dead no_return CallFlag 5 years ago
Jules Villard f778134088 [pdesc] do not add noreturn to generated assume statement 5 years ago
Jules Villard d79bd90b81 [pdesc] new pre-analysis to diverge after "noreturn" function calls 5 years ago
Jules Villard 78a33acb77 [cfg] run pre-analysis lazily in ondemand 5 years ago
Sungkeun Cho b1698ab0ea [inferbo] Get static value of EMPTY from class initializer in Java 5 years ago
Nikos Gorogiannis 374c09c6c7 [starvation][whole-program] allow scheduled work on unknown threads 5 years ago
Jules Villard 25f2293e70 [test determinator] Add the hash function that we use in the plugin to hash the mangled names to compare input mangled names 5 years ago
Jules Villard 8289c7e7c7 [dot] move "dot" render of biabduction specs 5 years ago
Sungkeun Cho 8b959be727 [inferbo] Add size alias when array size is one 5 years ago
Mitya Lyubarskiy 0732dc63de [nullsafe] An ability to show the different path to third party folder rather than one that is specified in config 5 years ago
Jules Villard c5ddc39e0d [pdesc][refactor] make individual modules for the pre-analyses 5 years ago
Jules Villard b03ca78bf3 [pdesc][refactor] ability to set normal and exceptional succs independently 5 years ago
Nikos Gorogiannis 883044763e [starvation-whole-program] more executor models 5 years ago
Mitya Lyubarskiy cf6e881822 [deadcode] fix deadcode 5 years ago
Mitya Lyubarskiy 88d6f67589 [nullsafe] Support @RecentlyNullable annotation 5 years ago
Dulma Churchill e411db6f82 [AL] Make the transition Parameters work with function calls 5 years ago
Mitya Lyubarskiy d5b574dd80 [nullsafe] Render strict mode violations nicely 5 years ago
Mitya Lyubarskiy 1b8305d1e1 [nullsafe] Special error messaging for case when unmodelled third-party signature is called 5 years ago
Mitya Lyubarskiy 48a447d77a [nullsafe] Always specify if the nullability comes from internal models or third party 5 years ago
Mitya Lyubarskiy a705373e02 [nullsafe] ThirdPartyAnnotationInfoStorage stores files names and line numbers for signatures 5 years ago
Mitya Lyubarskiy 71fd925d7f [nullsafe] Slightly more functional style for ThirdPartyAnnotationInfo storage 5 years ago
Mitya Lyubarskiy 108473e97b [nullsafe] Changes in wording of error messages: unified and more clear language 5 years ago
Mitya Lyubarskiy b860336640 [nullsafe] Render origin in a more light weight way 5 years ago
Mitya Lyubarskiy e0b688ceab [nullsafe] Don't render type origin in trivial cases 5 years ago
Jules Villard 2479bca967 [make] do not trigger a models rebuild every time 5 years ago
Dulma Churchill 11aec43af3 [Infer] Better human readable name for STRONG_SELF_NOT_CHECKED 5 years ago
Nikos Gorogiannis bbb1237e90 [concurrency] add models for Android UI thread callbacks (ServiceConnection) 5 years ago
Nikos Gorogiannis 0c4d2d7a92 [starvation-whole-program] recognize Android callback methods as scheduled work 5 years ago
Nikos Gorogiannis 08df37ef76 [starvation] whole program analysis 5 years ago