2813 Commits (e77ca182a5a6562c8f8f8be5063a055ecb287755)

Author SHA1 Message Date
Jeremy Dubreil 2ded1d7a0c [infer][java] Simplify some of the models of Java resources [3/n]
8 years ago
Jeremy Dubreil 266686457a [infer][java] Simplify some of the models of Java resources [2/n]
8 years ago
Jeremy Dubreil ecfb00e068 [infer][java] Always consider the close() method to be potentially closing a resource
8 years ago
Jules Villard 3f3b0e5fe1 [help] update help sections
8 years ago
Dulma Churchill 9ac65a7b1d [linters] Take current os version into account in the unavailable api check
8 years ago
Jules Villard 55ceb64ba6 [make] only build inferunit for bytecode mode
8 years ago
Jeremy Dubreil 574d640af0 [infer][java] Simplify some of the models of Java resources [1/n]
8 years ago
Sam Blackshear c67de3e827 [thread-safety] add string parameter to @ThreadConfined
8 years ago
Sam Blackshear a3e3fdb781 [quandary] fix bug in summary application
8 years ago
Dulma Churchill dbcb871988 [linters] Add extra case of respondsToSelector block
8 years ago
Sam Blackshear ae03acb71b [quandary] reduce max_calls to 3
8 years ago
Jeremy Dubreil 0139ca211b [infer][java] Add an example of dynamic dispatch handling on fields
8 years ago
Jeremy Dubreil c57323d67b [infer][tests] The java tests should depend on the Java models
8 years ago
Sam Blackshear c4fbf4e3fb [thread-safety] propagate attributes across casts
8 years ago
Sam Blackshear 42188eb105 [thread-safety] add understanding of conditional ownership
8 years ago
Sam Blackshear dc9892eef5 [thread-safety] use map of access paths to attributes rather than multiple sets of access paths
8 years ago
Sam Blackshear a3cffa7116 [absint] add inverted map domain
8 years ago
Jeremy Dubreil bf17932812 [infer][java] remove the no-op model for Cursor.close()
8 years ago
Jeremy Dubreil 578baf319b [infer][java] remove the concept of @Strict for Eradicate
8 years ago
Jeremy Dubreil 13cdff1532 [infer][java] Dynamic dispatch: fix wrong level of indirection on pointers when specialzing methods
8 years ago
Jeremy Dubreil fd8e135994 [infer][java] modeling methods as returning an undefined value is not necessary
8 years ago
Sam Blackshear a4efc7bba7 [cleanup] Simplify PrettyPrintable.Make functors
8 years ago
Jeremy Dubreil c902068c4f [infer][java] cleanup of the java.lang.Process model
8 years ago
Jeremy Dubreil abdb238599 [infer][java] disable the Eradicate model for Context.getSystemService(..)
8 years ago
Sam Blackshear 4627bb6f48 [absint] simplify `AbstractInterpreter.Make` functor by hiding `Scheduler` parameter
8 years ago
Dino Distefano fb14d31bb7 Making signature of predicates uniform
8 years ago
Cristiano Calcagno 319e3ed271 [Eradicate] Change Eradicate's join to forget values not present on both paths
8 years ago
Sam Blackshear 9ed282b28b [thread-safety] handle constructors by understanding that a constructor owns `this`
8 years ago
Dulma Churchill acce173eb8 [Linters] Move unavailable api check to the linters rule file
8 years ago
Jeremy Dubreil a416b7c90d [infer][java] Add a model for Process.destroyForcibly()
8 years ago
Jeremy Dubreil 79c7a54b2f [infer][java] Add special configuration to run Infer as an external compiler
8 years ago
Sam Blackshear 0e77e36235 [thread-safety] propagate @Functional attribute across boxing of primitive types
8 years ago
Sam Blackshear 6338997cf5 [quandary] don't clobber existing taint on receiver when propagating taint from unknown call
8 years ago
Sam Blackshear d41b500659 [thread-safety] treat constants as owned
8 years ago
Sam Blackshear 5c2fcd02bd [cleanup] move annotated_signature into its own module inside eradicate
8 years ago
Jules Villard 93f33d07b8 [cli] do not export the contents of .inferconfig to INFER_ARGS
8 years ago
Jules Villard 4584bf9a4c move CLOpt.exe to Config and restrict its API, remove Interactive fake exe
8 years ago
Jules Villard 744edc10ec add support for subcommands not after --
8 years ago
Jules Villard 6faccb1490 [utils] catch exceptions in epilogues to allow all of them to run
8 years ago
Andrzej Kotulski 87364bf8f6 [C++ models] Fix compilation errors with make_shared/unique
8 years ago
Andrzej Kotulski 40c84077d9 [C++] Fix model of std::vector
8 years ago
Cristiano Calcagno 5c12d98d37 Deprecate IList module in favour of Core List
8 years ago
Jeremy Dubreil c2b967d27b [infer] Dynamic dispatch: use the OCaml type system to implement the invariant that the method specialization should only happen on object types
8 years ago
Sam Blackshear 6c0c3b44b4 [annotations] make override_exists recursive
8 years ago
Jeremy Dubreil c047819ab3 [infer] rename Mangled.Set and add Mangled.Map
8 years ago
Sam Blackshear 38a336694a [quandary] improve taint propagation for unknown calls
8 years ago
Dulma Churchill ffd82c01a7 [clang] Fail when compilations fails in the capture, linters mode
8 years ago
Sam Blackshear f6e8bf0f3f [thread-safety] don't warn on external accesses to fields of ThreadConfined classes
8 years ago
Kihong Heo cef2f0e055 Inferbo
8 years ago
Jeremy Dubreil c5e962e231 [infer][test] The buck integration BUCK file for the integration test was refering to a file built by make
8 years ago
Jeremy Dubreil 4e02b3c525 [infer][tests] rescue ghost file for Cursor NPE test
8 years ago
Jeremy Dubreil eab0c19c65 [infer][java] Force the option --deep when running Infer on Java Buck projects
8 years ago
Sam Blackshear 2800c84972 [checkers] don't do expensive access path equality check unless debugging
8 years ago
Jeremy Dubreil b6fae5cd46 [infer][eradicate] Consider junit.framework.TestCase.setUp as an initializer
8 years ago
Jeremy Dubreil 90f4c83ef2 [infer][java] Add some more test cases for dynamic dispatch
8 years ago
Andrzej Kotulski f697739b21 [C++ translation] Use correct type when generating dereference
8 years ago
Dulma Churchill 269ea5ffe5 [linters] Take into account the respondsToSelector block in the unavailable api check
8 years ago
Sam Blackshear d84a6b854f [quandary] log instead of failing hard when specified source has no return value
8 years ago
Sam Blackshear f9280b682f [thread-safety] don't warn on accesses to fields assigned to @Functional calls
8 years ago
Sam Blackshear 70df06a596 [thread-safety] don't consider VisibleForTesting methods as public
8 years ago
Sam Blackshear d0f4e8771b [cleanup] generalize PatternMatch.iter_overrides to override_exists
8 years ago
Sam Blackshear 50c73e517b [cleanup] adding Annotations.pname_has_return_annot function
8 years ago
Sam Blackshear cc8ffd9d1e [quandary] allow regexes in defining quandary sources/sinks in inferconfig
8 years ago
Sam Blackshear 3ee349ee23 [thread-safety] warn on unsafe accesses to lists
8 years ago
Sam Blackshear bcfcb5d405 [cleanup] restrict uses of annotated_signature to eradicate
8 years ago
Andrzej Kotulski b3e9eedd59 [clang frontend] Make DeclStmt return empty exps
8 years ago
Sam Blackshear 2351f767dc [cleanup] use pdesc_has_return_annot and friends instead of more cumbersome ways of looking up return annots
8 years ago
Sam Blackshear 73f3c5e0cd [cleanup] separate functions for checking annotations of return value and parameters
8 years ago
Dulma Churchill 2c767fce74 [linters] Clean up the context passing mechanism and add context for if
8 years ago
Andrzej Kotulski dd3de5b011 [clang frontend] Create nodes for dangling instructions
8 years ago
Jules Villard a229595856 [tests] run objc frontend tests...
8 years ago
Sam Blackshear b371a3429c [cleanup] simplify method annotation and item annotation iteration methods
8 years ago
Sam Blackshear f0199a058a [cleanup] alphabetize annotations and remove duplicates
8 years ago
Jeremy Dubreil 5322c71063 [infer][backend] find a better trade-off for the value of the SymOps timeout
8 years ago
Sam Blackshear b227ee58a6 [thread-safety] handle some annotations as aliases of ThreadConfined
8 years ago
Sam Blackshear 369feb4149 [thread-safety] allow ownership to be transferred via return
8 years ago
Sam Blackshear f372b6cb2f [quandary] allow sinks to be specified in inferconfig
8 years ago
Sam Blackshear 5bddb1e548 [quandary] allow sources to be specified in inferconfig
8 years ago
Cristiano Calcagno b1421bc27f [BetterEngineering] Remove remaining uses of polymorphic equality
8 years ago
Jules Villard bd2110a789 update timestamp of mirrored fcp files when copying them over so that make knows they are up to date
8 years ago
Sam Blackshear df5798336b [cleanup] give AccessPath.raw its own module
8 years ago
Jules Villard 4b45d5d8a0 [CLOpt] remove `accept_unknown` optional argument of `parse`
8 years ago
Andrzej Kotulski ebc4c6fd53 [config] Fail on unknown options from .inferconfig when in strict mode
8 years ago
Josh Berdine 65eb3a176d Remove Reason comments in copyright header
8 years ago
Sam Blackshear 851a4da7e0 [thread-safety][cleanup] add mli for ThreadSafetyDomain
8 years ago
Sam Blackshear d25a3edbd7 [thread-safety][cleanup] open ThreadSafetyDomain locally to avoid excess typing
8 years ago
Sam Blackshear e132188361 [thread-safety] warn on unsafe accesses in overrides of methods annotated with @ThreadSafeMethod
8 years ago
Sam Blackshear 908e78cc81 [annotations] produce a sources JAR for the infer annotations
8 years ago
Jeremy Dubreil add9e476a3 [infer][java] more rebust detection of the class filenames
8 years ago
Cristiano Calcagno f91b3128d3 [BetterEngineering] Replace uses of polymorphic equality
8 years ago
Andrzej Kotulski cceffddd78 [Config] Warn about deprecated args only from Driver exe
8 years ago
Cristiano Calcagno 3f8ee7df49 [Eradicate] Fix issue in Eradicate's check for field initialization
8 years ago
Sam Blackshear f79a53e1c8 [thread-safety] add string param to AssumeThreadSafe
8 years ago
Sam Blackshear c19bee7772 [quandary] for instance methods with no return value, propagate the taint to the receiver
8 years ago
Sam Blackshear b9694ef086 [thread-safety] warn on unsafe writes in constructors
8 years ago
Sam Blackshear c4c495fbe5 [thread-safety] propagate conditional writes to callers
8 years ago
Sam Blackshear 4373945e74 [thread-safety] don't warn on writes rooted in a parameter owned by the callee
8 years ago
Jules Villard f9ab3aa1ac run epilogues register with `at_exit` upon receiving SIGINT as well
8 years ago
Sam Blackshear 6ace3838ba [absint] support HTML debug output
8 years ago
Sam Blackshear e565010cf3 [thread-safety] don't warn on writes to volatile fields
8 years ago
Jules Villard 2e96caac42 [mvn] new integration
8 years ago
Jules Villard 69f8140655 [cli] do not accept unknown arguments in OCaml
8 years ago
Jules Villard 988145dea0 [cli] remove support for INFERCLANG_ARGS
8 years ago
Jules Villard ca784cdb41 [cli] warn about deprecated options, clean up infer repo
8 years ago
Jules Villard cb1e241411 [CLOpt] isolate the subset of Arg.spec used
8 years ago
Sam Blackshear 618e9c9338 [thread-safety] add @AssumeThreadSafe annotation to assume thread-safety of a method without checking it
8 years ago
Sam Blackshear f4b1af6f91 [thread-safety] allow @ThreadConfined annotation on methods
8 years ago
Sam Blackshear 2f69191c7e [backend] expose underlying Procdesc.Node from ProcCFG nodes
8 years ago
Jeremy Dubreil d9ed75cc08 [infer][toplevel] remove dead code from the python bucklib.py scripts
8 years ago
Sam Blackshear d39d4cfa20 [thread-safety] use jsr-305 versions of ThreadSafe/NotThreadSafe rather than defining custom annotations
8 years ago
Cristiano Calcagno adc68c6d57 [clang] Remove unnecessary list append in clang frontend
8 years ago
Cristiano Calcagno 1eaaf84a90 [checkers] Add support for html output in checkers, starting with Eradicate
8 years ago
Jules Villard 6050ff2b99 do not pass --buck to build the Java models
8 years ago
Jules Villard 4028e7ca78 [driver] decouple logic for choosing capture mode from the capture
8 years ago
Sam Blackshear f065f7653a [thread-safety] add map for conditional accesses
8 years ago
Sam Blackshear 72e17403fa [thread-safety] add and support @ThreadSafeMethod annotation
8 years ago
Jeremy Dubreil 619c202bd6 [infer][java] do no consider @OnBind as equivalent to @NoAllocation for the reachability checker
8 years ago
Andrzej Kotulski 153ed5e5d9 [Config] Rename Toplevel to Driver
8 years ago
Jeremy Dubreil 219d5b3883 [infer][tests] use Buck target output instead of hard copies of the paths under buck-out
8 years ago
Andrzej Kotulski 3c482da094 [compilation db] fix problems with buck compilation database integration
8 years ago
Andrzej Kotulski 11810d849b [C++] Fix compilation with enable_shared_from_this
8 years ago
Jules Villard a7f4aa79af [lint] fix copyright linter
8 years ago
Jules Villard c10126d0fd [DB] return resolved path when path cannot be made relative
8 years ago
Sam Blackshear 1891a16f8f [thread-safety] suppress warnings on methods annotated with @OnEvent
8 years ago
Jules Villard cece221ab7 [make] add `make byte` toplevel target
8 years ago
Sam Blackshear 8b57278c70 [thread-safety] support fields annotated with @ThreadConfined
8 years ago
Jules Villard 96c8133180 [nit] less indentation in Infer.log_build_cmd
8 years ago
Cristiano Calcagno f7b03d53ce [clang frontend] Fix variable shadowing in ObjcInterfaceDecl
8 years ago
Jules Villard c962fe0d4c update yarn.lock and yarn, add xmlm dependency
8 years ago
Jules Villard e01cab6d19 [java] more verbose debug output, fix for non-Buck integrations
8 years ago
Sam Blackshear 7d092152e3 [annotations] cleaning up remains of annotation processor
8 years ago
Gautam Korlam fe24209c3d Cleanup DEFS file for generating infer genrules
8 years ago
Sam Blackshear 2add2954da [checkers] factor out FormalMap into its own module
8 years ago
Sam Blackshear e5ef592f11 [quandary] add a few missing Intent sinks
8 years ago
Sam Blackshear ddccb0cce1 [quandary] don't include taint_opt as part of formal_map
8 years ago
Sam Blackshear ee2d0c9226 [quandary] add Intent's passed to onActivityResult/onNewIntent as sources
8 years ago
Jules Villard 6580899813 [driver] do not warn about nothing to analyze when not analyzing
8 years ago
Cristiano Calcagno 20db61697d [backend] Cleanup of StructTyp module.
8 years ago
Jules Villard db2e5bf4d4 [java] add more logging in debug and stats mode
8 years ago
Jules Villard f76a77b6b6 [driver] handle removal of symlinks in infer-out
8 years ago
Sam Blackshear 4cb03f4670 [checkers] add ui-thread/non-ui thread reasoning to annotation reachability checker
8 years ago
Sam Blackshear 685f205dda [quandary] skeleton for ObjC traces
8 years ago
Sam Blackshear 73f219560d [thread-safety] warn on unsafe accesses to maps
8 years ago
Jules Villard ffd322aca5 [clang db] add ClangCompilationDB build mode to make sure infer-out is deleted when needed
8 years ago
Jules Villard a6f54b9cef [cli] do not complain about "arguments must be .specs file" from non-toplevel invocations
8 years ago
Jules Villard 4bf4ba1c59 [tests] make sure we delete infer-out at the start of the reactive test
8 years ago
Cristiano Calcagno af83d1eefe [clang] Minor clang frontend cleanup: remove dead code and renaming
8 years ago
Cristiano Calcagno f605cb4b7e [clang cleanup] Split CFrontend_utils module into CAst_utils and CGeneral_utils
8 years ago
Sam Blackshear 2a4b29fedb [quandary] Warn on reusing result returned from getIntent
8 years ago
Josh Berdine 915282105d Expose whether filename_to_relative was successful
8 years ago
Sam Blackshear a87b64f384 [annotations] force java 7 compilation for annotations
8 years ago
Sam Blackshear d86f777132 [quandary] considering methods of subclasses of Activity, SharedPreferences etc. as sources/sinks too
8 years ago
Cristiano Calcagno b0e6ed8b35 [clang frontend] Eliminate use of expensive list append
8 years ago
Josh Berdine 52174fdc33 Avoid race between cmake and utf8_in_pwd tests
8 years ago
Sam Blackshear 504735e548 [java] update android.jar version to 23
8 years ago
Sam Blackshear 9c48178e4a [quandary] model some formals of Webview methods as tainted
8 years ago
Dino Distefano 45cf368ab9 Using checkers defined in linter.al and removed hard-coded checkers.
8 years ago
Peter O'Hearn 7bcc7e421d [threadsafety] don't warn on methods from classes annotated ThreadConfined
8 years ago
Sam Blackshear 68c0705f26 [thread-safety] don't warn on methods annotated with UiThread
8 years ago
Sam Blackshear 61bfd1e579 [cleanup] kill useless filter_buckets option
8 years ago
Sam Blackshear 1403e9c898 [quandary][java] Intent.parseIntent/Intent.parseUri should propagate taint, not create it
8 years ago
Sam Blackshear 8d0f6e822c [absint] don't require domains to define their initial state
8 years ago
Josh Berdine 4ec3af4a7f Call java frontend directly instead of using fork
8 years ago
Josh Berdine 0095e9c635 Remove redundant DEPLOYED_MODELS_JAR in favor of JAVA_MODELS_JAR
8 years ago
Josh Berdine 8c42cfb364 Add root dir argument to Utils.filename_to_absolute
8 years ago
Josh Berdine c88fe26071 Reimplement Utils.filename_to_absolute
8 years ago
Josh Berdine fb9fed3441 Reimplement Utils.filename_to_relative
8 years ago
Josh Berdine 9f30059397 Remove redundant code computing initial working directory
8 years ago
Josh Berdine 8d143d87df Remove outdated stats reporting
8 years ago
Josh Berdine 5289ccfb23 Simplify Subtype.list_to_string
8 years ago
Jeremy Dubreil d29659177f [infer] Revert D4367788
8 years ago
Jules Villard d01d0b81e9 [log] add option to print all logs to the console
8 years ago
Jules Villard f3190bc1f0 [log] no dummy init, no leaked channels
8 years ago
Jules Villard 24b7a50d1f [log] do not redirect output of InferAnalyze in the Makefiles
8 years ago
Jules Villard 24e6ae9ade [log] re-use log file names
8 years ago
Jeremy Dubreil 1065477765 [infer][java] indent the final JSON report for Buck projects
8 years ago
Jeremy Dubreil d7f112a640 [infer][java] choose the dynamic dispatch handling mode from the command line
8 years ago
Sam Blackshear 374ee12792 [traces] adding Sink.Make functor for easier sink creation
8 years ago
Josh Berdine 8d9f70ad47 Minor redistribution of driver functionality, and debugging improvements
8 years ago
Josh Berdine e58550da1d Simplify Exe_env.get_tenv now that optional arg unused
8 years ago
Josh Berdine 142494e7ae Add missing dir to java test clean
8 years ago
Jeremy Dubreil 4a3573b60e [infer][java] Use lazy dynamic dispatch by default
8 years ago
Jules Villard 39cfc9c073 delete intellij settings in infer/tests/
8 years ago
Ryan Rhee b557b49921 [componentkit] Initializer rule should return multiple issues
8 years ago
Ryan Rhee 4e37677eeb [clang] Prep rules to potentially emit multiple issues
8 years ago
Jeremy Dubreil a1c1b236a8 [infer][backend] cleanup the summary origin that is no longer useful
8 years ago
Jeremy Dubreil 4bca15afff [infer][backend] Add the distinction between models and regular procedure as part of the attributes
8 years ago
Sam Blackshear abde4e6603 [reporting] Fail loudly when we can't log an error
8 years ago
Jules Villard 72d065017b [tests] run "diff" from infer/tests
8 years ago
Jeremy Dubreil d20c8a0222 [infer][backend] Add functions to separate the cases when the subtyping relation can be proven from the case where the no subtyping relation can be proven.
8 years ago
Sam Blackshear 6bf38931ce [traces] adding Source.Make functor for easier source creation
8 years ago
Sam Blackshear e8835b308e [thread-safety] add liveness analysis for thread-safety
8 years ago
Jeremy Dubreil f963363ee9 [infer][java] For the lazy dynamic dispatch algorithm, only specialize the methods on object parameters
8 years ago
Jeremy Dubreil 0cb69c5a6a [infer][java] fix comments for Annotations.annot_ends_with
8 years ago
Sam Blackshear 06e0f6fbc9 [quandary] support tainted formals
8 years ago
Sam Blackshear f3bd314c22 [preanalysis] expose separate functions for different preanalyes (liveness, dynamic dispatch, abstraction)
8 years ago
Jules Villard 4b77b07be5 [buck] add flavors automatically to buck targets
8 years ago
Josh Berdine 1a5ac9e62b Use natural order on hpred, optionally ignoring instrumentation
8 years ago
Sam Blackshear e817d5390d [oss] add missing is_logging_method
8 years ago
Jules Villard ec2cde7020 [tests] serialize buck tests
8 years ago
Sam Blackshear 3ca924f546 [thread-safety] blacklist logging methods
8 years ago
Sam Blackshear 084fd9301b [absint] Fix capitalization of abstractInterpreter.mli and reconcile with the source file
8 years ago
Andrzej Kotulski fb6d49d6f4 [reactive-capture] Don't count compilation time towards analysis timeout
8 years ago
Andrzej Kotulski 96ba74d18e [C++] whitelist C++ std::vector iterator implementation
8 years ago
Andrzej Kotulski acdc081100 [C++] Make C++ whitelist matching more strict
8 years ago
Peter O'Hearn 4057ffadcf [threadsafety] Change THREAD_SAFETY_ERROR to THREAD_SAFETY_VIOLATION
8 years ago
Sam Blackshear 2a567d3abe [quandary] summaries are access trees too
8 years ago
Sam Blackshear cd1c9750f4 [infer] models for common types of Java Lists
8 years ago
Kihong Heo 42a3176882 Fix the widening operator of the Map functor
8 years ago
Peter O'Hearn 23a0a611dc [threadsafety] Fix situation where @NotThreadSafe is reported on, when super is @ThreadSafe
8 years ago
Dulma Churchill 9f153dbafa [linters] Add linter for checking api compatibility
8 years ago
Martino Luca b5124c1506 [CTL] Remove linters' names from Localise module
8 years ago
Andrzej Kotulski 29c42e5fe8 [reporting] Skip traces for functions outside of project root
8 years ago
Martino Luca d044809b32 [CTL] Filter linters through a visibility flag
8 years ago
Jules Villard a2193005a9 [tests] less phony genrule test
8 years ago
Josh Berdine cccfad2445 Directly handle javac -version option in build command
8 years ago
Josh Berdine 3dfaa9ed7b Remove support for SuppressWarnings annotations
8 years ago
Cristiano Calcagno d670bdd61a [eradicate] Add support for methods that don't return (System.exit)
8 years ago
Sam Blackshear a99e0f8b63 [cleanup] delete optimistic_cast option
8 years ago
Jules Villard bcac924e7f register checkers in monocore mode
8 years ago
Jules Villard c51c4a21ae [siof] collate multiple reports at the same line into one
8 years ago
Jules Villard a9d5b5afdb [tests] kill empty build_integration_tests.py
8 years ago
Jules Villard c6ed7ad489 [tests] convert waf test to Makefile
8 years ago
Jules Villard b4bd78bb05 [tests] convert utf8 in pwd test to Makefile
8 years ago
Jules Villard 4c34509f6d [tests] convert unknown ext test to Makefile
8 years ago
Jules Villard c40dfc950e [tests] convert reactive test to Makefile
8 years ago
Jules Villard 25e35e8bec [tests] convert pmd-xml test to Makefile
8 years ago
Jules Villard dece9f1386 [tests] convert ndk-build test to Makefile
8 years ago
Jules Villard facdcbe6f2 [tests] convert clang multiple files test to Makefile
8 years ago
Jules Villard f57154372f [tests] move make test to a Makefile
8 years ago
Jules Villard d80c9c742d [tests] move utf8 in procname test to a Makefile
8 years ago
Jules Villard de8356e4b0 [tests] move javac test to a Makefile
8 years ago
Jules Villard 5ffd9e3a7b [tests] port gradle test to a Makefile
8 years ago
Jules Villard ebb75d6171 [tests] port --fail-on-issue test to a Makefile
8 years ago
Jules Villard 674e3c86ea [tests] port delete infer-out test to a Makefile
8 years ago
Jules Villard 241b4b04fa [tests] port ck imports test to a Makefile
8 years ago
Jules Villard 6c056f535a [tests] port ck analytics test to a Makefile
8 years ago
Jules Villard eafe1158a6 [tests] convert cmake test to a Makefile
8 years ago
Jules Villard a6be58848b [make] make frontend tests more functional
8 years ago
Jules Villard bd0751dd1c [make] do not confuse the jobserver
8 years ago
Jules Villard 4d34efe71d [toplevel] fix double-printing of infer options in --help
8 years ago
Josh Berdine fb34f30350 Directly handle javac -classpath option in build command
8 years ago
Josh Berdine a9253d8996 Directly handle javac -classes_out option in build command
8 years ago
Andrzej Kotulski 95ad5b6387 [reactive-capture] Random fixes
8 years ago
Andrzej Kotulski 9fb0636ca1 [compilation db] Remove special module for compilation db
8 years ago
Martino Luca ebb6931358 [CTL] Let issue name be a string for linters
8 years ago
Sam Blackshear ee90e10491 [thread-safety] don't report on fields of immutable collections
8 years ago
Sam Blackshear 79154adf9e [thread-safety] use ownership info to avoid false alarms
8 years ago
Jules Villard bce1a1ff2e [make] make infer/src/Makefile less phony
8 years ago
Jules Villard 475f37ea03 [java] do not leak file descriptors when redirecting stderr to /dev/null
8 years ago
Andrzej Kotulski 1bb6401d15 [command line] Fix json deserialization of mk_path_list
8 years ago
Sam Blackshear 16cae31f20 [absint] add inverted set domain
8 years ago
Sam Blackshear 8e212f0468 [thread-safety] use id map to decompile tmp vars into access paths
8 years ago
Dino Distefano 4682393cd6 Use place-holders string in messages
8 years ago
Josh Berdine 178451e117 Disable timeouts during model analysis
8 years ago
Cristiano Calcagno ec1a07f445 Unbreak --continue option by passing it down to the python files
8 years ago
Sam Blackshear 6d7b8099f7 [java] treat all var names containing $ as temporaries
8 years ago
Sam Blackshear 26ba5336a8 [domains] gating sanity checks in id -> access path domain
8 years ago
Sam Blackshear 7682017f93 [quandary] only show relevant passthroughs in trace
8 years ago
Jules Villard f2a5810141 [clang] remove InferClang command from generated frontend debug scripts
8 years ago
Jules Villard bbf7df2f53 [base] remove C stubs for ioctl in favour of Ctypes
8 years ago
Jules Villard a07e16871c [java] silence javalib warnings on stderr when loading class with Java8 Code
8 years ago
Jules Villard ac082cfe01 [make] remove support for OCaml annot and other Eclipse-related quirks
8 years ago
Andrzej Kotulski 863cc534b2 [compilation db] Allow to pass multiple json files with clang-compilation-database integration
8 years ago
Andrzej Kotulski c9d254c084 Initial version of reactive capture
8 years ago
Sam Blackshear 5bd4daa900 [absint] make Interprocedural functor easier to customize
8 years ago
Dulma Churchill 5b39b3e323 [ObjC] Model methods from NSArray
8 years ago
Andrzej Kotulski 13fcb27431 [C++] Fix compilation errors coming from smart pointer models
8 years ago
Andrzej Kotulski 01b57b4f38 [clang] Always compile with -O0 flag
8 years ago
Jules Villard 902a0cd001 [make] make crashcontext tests replace-proof
8 years ago
Jules Villard 8b976154f6 [python] remove trailing empty line in source contexts
8 years ago
Jeremy Dubreil 715f6ffa7e [infer][java] match the annotation by class name, forgetting the package, instead of checking if the end of the annotation matches
8 years ago
Sam Blackshear 901786e0c5 [quandary] detect intents configured with external values
8 years ago
Sam Blackshear 2386bc8f67 [thread-safety] use record type in domain
8 years ago
Jeremy Dubreil aa362a27ed [infer][python] no longer generate the CSV report during the analysis
8 years ago
Josh Berdine 6051a3e34c Fix build time regression
8 years ago
Dino Distefano aa231e5129 [CTL] Expanding formula id with their definition
8 years ago
Josh Berdine 1a97b918ca Construct inferconfig patterns in Inferconfig not Config
8 years ago
Josh Berdine f3fab1e9b6 Support parsing build command arguments
8 years ago
Josh Berdine 733e2531b3 Protect against use of Core functions that add exception handlers that exit
8 years ago
Josh Berdine 2a8bf53e9e Don't allow new deprecated uses
8 years ago
Josh Berdine fc976bc3ef Core.Std.( ^/ )
8 years ago
Josh Berdine 7834c95bc8 Silence deprecation warnings
8 years ago
Josh Berdine 2e66dcfac4 Open Core.Std by default, still use Caml Hashtbl, Map, Set
8 years ago
Josh Berdine e438314776 Divide Utils into Utils, Pp, and IStd
8 years ago
Josh Berdine 23cda11fda Core.Std.Int.Set
8 years ago
Josh Berdine 900da595b1 Core.Std.String.Table
8 years ago
Josh Berdine 78ec954ae2 Core.Std.String.Map
8 years ago
Josh Berdine e00c4cd2dd Core.Std.String.Set and remove unused StringPPSet
8 years ago
Josh Berdine 76f8450203 Move proc_flags from Utils to ProcAttributes
8 years ago
Josh Berdine f86fc2ce2d Core.Std.Stack
8 years ago
Josh Berdine 7e6278baeb Core.Std.Printexc
8 years ago
Josh Berdine e4618541dc Core.Std.Int64
8 years ago
Jeremy Dubreil 027bdc32e8 [infer][genrule] Add example of Buck DEFS macro to generate Infer analysis targets
8 years ago
Josh Berdine 8a3707825c Core.Std.Gc
8 years ago
Josh Berdine e5b41a67d0 Core.Std.Char
8 years ago
Josh Berdine c2abce7e3a Core.Std.Array
8 years ago
Josh Berdine 7708fc7c56 Remove extlib dependency
8 years ago
Josh Berdine de2e6c9d88 Core.Std.Option
8 years ago
Josh Berdine 4ea3410b47 Core.Std.Sys
8 years ago
Josh Berdine 9d1b495f57 Core.Std.Unix
8 years ago
Josh Berdine c094287428 Convert Process.create_process_and_wait to Core.Std.Unix
8 years ago
Josh Berdine 81d616a50b Convert Process.run_jobs_in_parallel to Core.Std.Unix
8 years ago
Josh Berdine 53c170ca0a More uniform and explicit treatment of program and arguments
8 years ago
Josh Berdine 0467c9cde1 Convert DB module to Core.Std.Unix
8 years ago
Josh Berdine 57c37f93c9 Convert Infer module to Core.Std.Unix
8 years ago
Josh Berdine 7d57469d2f Core.Std.Filename
8 years ago
Josh Berdine 782e9d69f6 Core.Std.Bool
8 years ago
Josh Berdine e415b73786 Core.Std.String
8 years ago
Josh Berdine a2930b7007 Core.Std.Int
8 years ago
Jeremy Dubreil a0b83ed693 [infer][test] The command should change directory outside the call to silent_on_success
8 years ago
Jeremy Dubreil d47d977322 [infer][java] Do not use multicore when creating the models
8 years ago
Andrzej Kotulski 78dfe85468 [clang] Make sl_file store source file instead of string
8 years ago
Sam Blackshear 831786240a [quandary] ignore null assignments to return value in void functions
8 years ago
Sam Blackshear 45ad904c1f [quandary] use actuals in JavaTrace.taint_all
8 years ago
Andrzej Kotulski 56f8757337 [SourceFile] Move DB.SourceFile into separate file
8 years ago
Jules Villard e5863f5420 [siof] handle constexpr constructors
8 years ago
Andrzej Kotulski 69b39dacb0 [DB] Create module for SourceFile
8 years ago
Andrzej Kotulski e4a93d5e13 [c++] s/cxx_experimental/cxx
8 years ago
Jeremy Dubreil 2edafcee92 [infer][backend] Save the pretty-print of the type environment when running the analysis in debug mode
8 years ago
Andrzej Kotulski 5310b617fe [c++] turn on c++ analysis by default
8 years ago
Jeremy Dubreil e029612421 [infer][backend] the pp_base parameter was not used anywhere
8 years ago
Jeremy Dubreil d89c69dbe6 [infer][java] Adding the android.jar in the classpath is not needed anymore
8 years ago
Sam Blackshear e212183e7e [thread-safety] don't count accesses in methods of builder classes
8 years ago
Jules Villard b0a5495611 [UI] add source context to reports in bugs.txt
8 years ago
Dino Distefano bd216f3205 Fixed problem with evaluation of sizeof which would give false positive
8 years ago
Jules Villard 9cc9cc101c [IR] add Static_local_var pvar kind and use it in clang
8 years ago
Andrzej Kotulski 0479720c91 [C++] Don't ignore header files passed in --changed-files-index
8 years ago
Andrzej Kotulski bd0f0cc7fc [DB] Don't fail hard when realpath fails
8 years ago
Sam Blackshear ff3b6a10db [checkers] add mli for AccessTree
8 years ago
Sam Blackshear 4b98543d35 [traces] don't hang when unrolling a mutually recursive trace
8 years ago
Josh Berdine 731ffa0ae1 Initialize Builtins also in single-core mode
8 years ago
Jeremy Dubreil 532621def1 [infer][tests] No longer rely on Infer being in the PATH for the genrule integration test
8 years ago
Sam Blackshear c1205c1453 [thread-safety] model ReadLock/WriteLock
8 years ago
Dulma Churchill 826accc21b [clang] Adding model for NSNumber boxing functions
8 years ago
Sam Blackshear 5743351906 [thread-safety] don't report thread safety violations due to calls to constructors
8 years ago
Sam Blackshear cb82dacd54 [traces] moving logic for reporting flow-sensitive traces from quandary to trace domain
8 years ago
Andrzej Kotulski bd843b277e [DB] Remove source_file_from_string, source_file_to_string no longer returns real path
8 years ago
Andrzej Kotulski b8908282f8 [DB] Remove many callsites of DB.source_file_to_string
8 years ago
Jeremy Dubreil 0b8a117b5e [infer][java] Fall back to the system compiler in case of compilation failures
8 years ago
Jeremy Dubreil 7b884144b5 [infer][tests] More complete test cases for the models of the Java Integer class
8 years ago
Sam Blackshear 0972c8d262 [quandary] don't report FP's due to flow-insensitive traces
8 years ago
Sam Blackshear 3b161a3737 [thread-safety] interprocedural traces for thread safety checker
8 years ago
Sam Blackshear 579b982359 [thread-safety] Lay the groundwork for interprocedural trace-based reporting
8 years ago
Andrzej Kotulski ea4cf13992 [tests] remove inferTest script
8 years ago
Cristiano Calcagno 827d7c3d9c [backend][perf] Address top performance bottleneck from profiling the backend.
8 years ago
Sam Blackshear 226791b631 [ondemand] simplify API by removing need to pass type environment
8 years ago
Sam Blackshear 01136cc326 [thread-safety] interprocedural analysis
8 years ago
Sam Blackshear 937ae12f29 [thread-safety] adding models for lock methods
8 years ago
Jeremy Dubreil cead43b731 [infer][genrule] run the genrule integration as part of the Buck integration test
8 years ago
Josh Berdine 198bc00df7 Remove Utils compare and equal functions
8 years ago
Josh Berdine 83408d4d6a ppx_compare TypeErr
8 years ago
Josh Berdine 177124ce76 ppx_compare IntLit
8 years ago
Josh Berdine 608ed877d3 ppx_compare RepeatedCallsChecker
8 years ago
Josh Berdine bebb00074d ppx_compare CheckTraceCallSequence
8 years ago
Josh Berdine 9fb2258284 ppx_compare Dom
8 years ago
Josh Berdine 81d3e7085a ppx_compare Dotty
8 years ago
Josh Berdine 6e322d96e8 ppx_compare Prover
8 years ago
Josh Berdine 47368b8ae6 ppx_compare Specs
8 years ago
Josh Berdine 5d69d04578 ppx_compare TypeAnnotations
8 years ago
Josh Berdine 0c8a583cb0 ppx_compare CFrontend_utils
8 years ago
Josh Berdine 71664c7828 ppx_compare SiofTrace
8 years ago
Josh Berdine e397afa085 ppx_compare CContext
8 years ago
Josh Berdine 0b605c694c ppx_compate Cfg
8 years ago
Josh Berdine da8cbe55fd ppx_compare JavaTrace
8 years ago
Josh Berdine 0eb864d800 ppx_compare CppTrace
8 years ago
Josh Berdine fe7a0c2483 ppx_compare State
8 years ago
Josh Berdine 97639ba236 ppx_compare Paths
8 years ago
Josh Berdine bbd5ef385d ppx_compare ProcCfg
8 years ago
Josh Berdine 85d15bcc49 ppx_compare Trace
8 years ago
Josh Berdine b94b5f1c58 ppx_compare Procdesc
8 years ago
Josh Berdine 48dcd7bb92 ppx_compare Source
8 years ago
Josh Berdine 75527525e5 ppx_compare Errlog
8 years ago
Josh Berdine 4e849fa5d5 ppx_compare Localise
8 years ago
Josh Berdine 344e724a85 ppx_compare Prop
8 years ago
Josh Berdine 356d081e1f ppx_compare AccessPath
8 years ago
Josh Berdine 9bc72ad790 ppx_compare Var
8 years ago
Josh Berdine aa5998a9d1 ppx_compare Sil
8 years ago
Josh Berdine 6298d043e6 ppx_compare PredSymb
8 years ago
Josh Berdine 71ed8c9e1d ppx_compare Exp
8 years ago
Josh Berdine e36a768d0c Use natural order of Cast expressions
8 years ago
Josh Berdine f73f997e5a ppx_compare TraceElem
8 years ago
Josh Berdine 10046e1848 ppx_compare Passthrough
8 years ago
Josh Berdine 1a0df1029a ppx_compare CallSite
8 years ago
Josh Berdine 8097de5bfd ppx_compare Mleak_buckets
8 years ago
Josh Berdine 25c3cb41bd ppx_compare CallFlags
8 years ago
Josh Berdine 7a5e7c28b5 ppx_compare Const
8 years ago
Josh Berdine 952855288d ppx_compare StructTyp
8 years ago
Josh Berdine 122d2b031f ppx_compare Unop
8 years ago
Josh Berdine cbec3453a3 ppx_compare Typ
8 years ago
Josh Berdine 72b1cd0816 ppx_compare Subtype
8 years ago
Josh Berdine b11e483500 ppx_compare Pvar
8 years ago
Josh Berdine 8822b66a21 ppx_compare Procname
8 years ago
Josh Berdine 0cf71c74ef Sort nodes when printing cfg to dot file
8 years ago
Josh Berdine 6b3d7c4d25 ppx_compare Location
8 years ago
Josh Berdine 27da735427 ppx_compare InferPrint
8 years ago
Josh Berdine a1e223d36d ppx_compare Ident
8 years ago
Josh Berdine b7991172b5 ppx_compare Binop
8 years ago
Josh Berdine 1ca67fbfa6 ppx_compare DB
8 years ago
Josh Berdine 1bc365f36e ppx_compare Clang_ast_types
8 years ago
Josh Berdine 17708ade33 ppx_compare Typename
8 years ago
Josh Berdine 5bd1cfab26 ppx_compare Mangled
8 years ago
Josh Berdine 5107815c18 ppx_compare Csu
8 years ago
Josh Berdine 6459ec4ff4 ppx_compare Annot
8 years ago
Josh Berdine 63d105d54b ppx_compare IList
8 years ago
Josh Berdine a9a96babcd Add build support for ppx_compare
8 years ago
Jeremy Dubreil e269f2a3fd [infer][java] basic support to run Infer using Buck genrules
8 years ago
Andrzej Kotulski d4c634e50f [DB] Cleanup code related to --changed-files-index
8 years ago
Andrzej Kotulski 9d6a6510e8 [clang] Translate everything coming from <X>.h files when translating <X>.cpp source
8 years ago
Andrzej Kotulski 6192cb98b4 [DB] Use realpath when calling source_file_from_abs_path
8 years ago
Sam Blackshear 9e9ca333f9 [thread-safety] use boolean domain to track locks
8 years ago
Andrzej Kotulski 0aa93c97bd [tests] Extend compilation database tests to handle multiple scenarios
8 years ago
Sam Blackshear ad5ff00dcd [quandary] making it easier to specify behavior for unknown functions
8 years ago
Andrzej Kotulski b6b7593cf6 [tests] Make project root infer/test/ for java tests
8 years ago
Andrzej Kotulski b0a0fbcc35 [tests] fix tests for open source
8 years ago
Andrzej Kotulski 2810740377 [tests] Make project root infer/test/ for clang tests
8 years ago
Sam Blackshear 935018ae9e [quandary] cheaper handling of unknown code
8 years ago
Sam Blackshear 8301250213 [backend] utility function for checking if a procdesc has an empty body
8 years ago
Josh Berdine a627f10979 Add target to generate list of source files topologically sorted by dependency
8 years ago
Dulma Churchill 8415b6c38b [backend] do not log analysis_stops in debug_exceptions mode
8 years ago
Andrzej Kotulski 3d9e5821ef [DB] Move header -> source function to DB.
8 years ago
Andrzej Kotulski ca9ce58150 [reactive capture] reliably load proc attributes only for defined procedures
8 years ago
Dino Distefano 116e90d38c Added parsing for InNode and ETX and added formulas of missing checkers
8 years ago
Jeremy Dubreil 3093f2aa3c [infer][java] remove the dead code manipulating the bootclasspath
8 years ago
Martino Luca 950eca3cb3 [CTL] Add support for `in_node` predicate to check correctness of its inputs
8 years ago
Dulma Churchill 616ee9276b [clang] Adding model for NSString length to avoid false positive npes.
8 years ago
Andrzej Kotulski a8b0871660 [reactive capture] Pass compilation db files to InferAnalyze, use absolute fnames
8 years ago
Jeremy Dubreil afd29e71de [infer][backend] Simplify the code doing the case analysis for execturing the cast instruction
8 years ago
Peter O'Hearn 47588027eb [threadsafety] analyze all the files and methods
8 years ago
Ryan Rhee 28b741e62c [componentkit] Compute Cyclomatic Complexity
8 years ago
Andrzej Kotulski 7a5e53262a [DB] kill abs_source_file_from_path
8 years ago
Andrzej Kotulski 7d22130deb [clang] Refactor CompilationDatabase modules
8 years ago
Andrzej Kotulski 7a0a89e567 [DB.source_file] Explicitly specify what path is relative to, keep cpp model paths relative
8 years ago
Ryan Rhee ccb51912e1 [componentkit] Compute line count for main file
8 years ago
Cristiano Calcagno 31e6f19ab2 [debug] Don't keep a copy of source files in the results directory
8 years ago
Ryan Rhee 661de290e7 [componentkit] Gate analytics behind flag
8 years ago
Martino Luca 7c9612b06b [CTL] Add support for is_unop_with_kind/is_binop_with_kind predicates to check correctness of their inputs
8 years ago
Andrzej Kotulski cd6e9e8b21 [InferPrint] Kill --source-file-copy option
8 years ago
Dulma Churchill e8085d5996 [linters] Fix perf problem in the linters, added tests
8 years ago
Andrzej Kotulski 338a8563a1 [clang] Don't filter entries when populating compilation database
8 years ago
Jeremy Dubreil 3299f74068 [infer][java] removing Thread.start() special treatment
8 years ago
Ryan Rhee a2c8c94a3b [componentkit] Move is_in_main_file check to CTL
8 years ago
Andrzej Kotulski b2cef3e0b2 [DB] Alawys use DB.source_file_to_abs_path to do actual filesystem operations
8 years ago
Andrzej Kotulski 548918e524 [tests] extend compilation database test with changed-files-index options
8 years ago
Josh Berdine 34739522c0 [utils] Add CTypes binding of fts and implement remove_directory_tree
8 years ago
Sam Blackshear 8d427cfda6 [reporting] add space to context leak error message
8 years ago
Sam Blackshear bdfc7de48e [tests] fix buck integration tests
8 years ago
Sam Blackshear a6121a9fb0 [guarded-by] support `Classname.fieldname` syntax
8 years ago
Jeremy Dubreil 5df335b715 [infer][python] remove unused imports
8 years ago
Jules Villard 86cb2f4938 [toplevel] fix various things
8 years ago
Josh Berdine 1bbbf658de [report] Fix report script and inherit std file descriptors when invoking
8 years ago
Jules Villard 23a8be5a1b [java] do not force java8
8 years ago
Peter O'Hearn f2d86cb90c [GuardedBy] Model of trylock in ReentrantLock.java
8 years ago
Sam Blackshear 708c0bf1f8 [backend] eliminate phantom spaces in printing of types
8 years ago
Jules Villard b34e8fe192 [tests] fix clean targets
8 years ago
Josh Berdine 9bf0360eca [linter] Remove dependency on core_extended
8 years ago
Dulma Churchill 1ba52b71c1 [infer][tests] fix unknown variable in issues.py
8 years ago
Josh Berdine d808baba1a [driver] Make analysis of non-java and buck cdb build modes python-clean
8 years ago
Josh Berdine cb412826c3 [driver] Make `infer -- analyze` almost python-clean
8 years ago
Peter O'Hearn 733646ba09 [GuardedBy] Fix Subclassing False positive
8 years ago
Sam Blackshear adacee51e2 [quandary] switch to --issues-tests printing
8 years ago
Sam Blackshear 37610b5180 [quandary] faster access list comparisons
8 years ago
Sam Blackshear b320714edd [quandary] optimizing Quandary compare functions
8 years ago
Jules Villard 4a673f540d [python] add script report.py to post-process report.json
8 years ago
Jules Villard 17179d4275 [siof] take POD into account
8 years ago
Jules Villard 05c72f510a delete llvm/ directory checked in by error
8 years ago
Jules Villard b3209e2c18 [tests] convert clang_compilation_db test to Makefile
8 years ago
Jules Villard 15d80e04df [tests] record summary of bug traces
8 years ago
Jules Villard 68332a16a0 [clang] always print clang errors on stderr
8 years ago
Jules Villard 81856c0d15 [python] fix another bug in pygments.highlight()
8 years ago
Dino Distefano 0ed033a32e Removing the dispatcher for linters.
8 years ago
Andrzej Kotulski 4512fcd8ef [tests] Create integration tests for clang translation logic
8 years ago
Sam Blackshear 8d48c108ca [quandary] add Errlog traces
8 years ago
Jules Villard e3d8482bd4 [python] limit the number of displayed reports to 10
8 years ago
Jeremy Dubreil ba62932760 [infer][java] Translate the local variables directly from the bytecode
8 years ago
Andrzej Kotulski 90f3712555 add reactive capture flag
8 years ago
Jules Villard ac47d115f5 [tests] include clang.make a bit later to fix compile target
8 years ago
Jules Villard 83f236451d [c] setlocale(3) accepts NULL as second argument
8 years ago
Sam Blackshear 5c2666a07c [quandary] filter the footprint sources in Trace.should_report
8 years ago
Josh Berdine a739931c92 [config] Remove unnecessary -classpath option
8 years ago
Peter O'Hearn 7a04ed32f5 [threadsafety] interprocedural
8 years ago
Jules Villard ec9453d356 [python] do not crash when reporting invalid locales
8 years ago
Jules Villard 2d846d89a6 [build tests] migrate buck integration test to Makefiles
8 years ago
Jules Villard 281d5b49fe [tests] sort bugs in InferPrint
8 years ago
Jules Villard 70720798d8 [tests] share javac.make more broadly
8 years ago
Peter O'Hearn 171d1d6d43 [threadsafety] run thread safety checker on its own
8 years ago
Andrzej Kotulski 6b083af4f3 [tests] small refactor of frontend makefiles
8 years ago
Jeremy Dubreil 2320ed8af3 [infer][java] Infer does not really rely on having compliant bytecode to run the analysis
8 years ago
Jeremy Dubreil 02ce9a909a [infer][java] only skip the classes where Javalib raises an exception instead of skipping all the classes
8 years ago
Sam Blackshear 75d6fb30e4 [frontend] support Java 8
8 years ago
Dulma Churchill b792d04fbd [clang] Integration with xcpretty and compilation database
8 years ago
Jeremy Dubreil 21a568aba8 [infer][java] Fix spurious class cast excpetion reports when casting arrays of primitive types
8 years ago
Andrzej Kotulski 1a4d165d44 [utils] Cache results of realpath
8 years ago
Dino Distefano 6ffaded4be Modified the hardcoded CTL formulas in preparation to dispatcher removal
8 years ago
Jules Villard 0085417e0d [siof] better error reports using `Errlog.loc_trace`s
8 years ago
Jules Villard 25759199cf [make] use install instead of cp when appropriate
8 years ago
Jules Villard 5bd8b7fa95 [make] compatibility with Debian testing
8 years ago
Jules Villard 7705ffbc31 [checkers] rename to_callee -> with_callsite
8 years ago
Jules Villard caf9537305 [refactoring] add make_trace_element to Errlog
8 years ago
Josh Berdine 25c9d8ae49 [logging] Delay re-creation of log dir until log files created
8 years ago