pghs975uc
/
infer_clone
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'df8b3e2428'
${ noResults }
infer_clone/infer/documentation/issues
History
Gabriela Cunha Sampaio c736015316
[pulse] Updating Pulse website 		4 years ago
..
ARBITRARY_CODE_EXECUTION_UNDER_LOCK.md [starvation] warn on SettableFuture.set under lock 4 years ago
ASSIGN_POINTER_WARNING.md [help] import issue types documentation from website 5 years ago
AUTORELEASEPOOL_SIZE_COMPLEXITY_INCREASE.md [cost] Extend cost_item json format to print autoreleasepool_size 4 years ago
AUTORELEASEPOOL_SIZE_COMPLEXITY_INCREASE_UI_THREAD.md [cost] Extend cost_item json format to print autoreleasepool_size 4 years ago
AUTORELEASEPOOL_SIZE_UNREACHABLE_AT_EXIT.md [cost] Extend cost_item json format to print autoreleasepool_size 4 years ago
BAD_POINTER_COMPARISON.md [help] import issue types documentation from website 5 years ago
BUFFER_OVERRUN.md [inferbo] Remove unused issue types 5 years ago
CAPTURED_STRONG_SELF.md [help] import issue types documentation from website 5 years ago
CHECKERS_ALLOCATES_MEMORY.md [annotreach] document issues 5 years ago
CHECKERS_ANNOTATION_REACHABILITY_ERROR.md [annotreach] document issues 5 years ago
CHECKERS_CALLS_EXPENSIVE_METHOD.md [annotreach] document issues 5 years ago
CHECKERS_EXPENSIVE_OVERRIDES_UNANNOTATED.md [annotreach] document issues 5 years ago
CHECKERS_FRAGMENT_RETAINS_VIEW.md [help] import issue types documentation from website 5 years ago
CHECKERS_IMMUTABLE_CAST.md [help] import issue types documentation from website 5 years ago
CHECKERS_PRINTF_ARGS.md [printf] document CHECKERS_PRINTF_ARGS 5 years ago
COMPONENT_INITIALIZER_WITH_SIDE_EFFECTS.md [help] import issue types documentation from website 5 years ago
COMPONENT_WITH_MULTIPLE_FACTORY_METHODS.md [help] import issue types documentation from website 5 years ago
CONSTANT_ADDRESS_DEREFERENCE.md document pulse issue types 5 years ago
CXX_REFERENCE_CAPTURED_IN_OBJC_BLOCK.md [help] import issue types documentation from website 5 years ago
DEADLOCK.md [help] import issue types documentation from website 5 years ago
DEAD_STORE.md [help] import issue types documentation from website 5 years ago
DIRECT_ATOMIC_PROPERTY_ACCESS.md [help] import issue types documentation from website 5 years ago
DISCOURAGED_WEAK_PROPERTY_CUSTOM_SETTER.md [help] import issue types documentation from website 5 years ago
EMPTY_VECTOR_ACCESS.md [help] import issue types documentation from website 5 years ago
ERADICATE_CONDITION_REDUNDANT.md [help] import issue types documentation from website 5 years ago
ERADICATE_FIELD_NOT_INITIALIZED.md [help] import issue types documentation from website 5 years ago
ERADICATE_FIELD_NOT_NULLABLE.md [help] import issue types documentation from website 5 years ago
ERADICATE_INCONSISTENT_SUBCLASS_PARAMETER_ANNOTATION.md [help] import issue types documentation from website 5 years ago
ERADICATE_INCONSISTENT_SUBCLASS_RETURN_ANNOTATION.md [help] import issue types documentation from website 5 years ago
ERADICATE_META_CLASS_NEEDS_IMPROVEMENT.md [website] add remaining issue types 5 years ago
ERADICATE_PARAMETER_NOT_NULLABLE.md [help] import issue types documentation from website 5 years ago
ERADICATE_RETURN_NOT_NULLABLE.md [help] import issue types documentation from website 5 years ago
ERADICATE_RETURN_OVER_ANNOTATED.md [help] import issue types documentation from website 5 years ago
EXECUTION_TIME_COMPLEXITY_INCREASE.md [cost][doc] Add documentation for cost analysis 5 years ago
EXECUTION_TIME_COMPLEXITY_INCREASE_UI_THREAD.md [cost][doc] Add documentation for cost analysis 5 years ago
EXECUTION_TIME_UNREACHABLE_AT_EXIT.md [cost][doc] Add documentation for cost analysis 5 years ago
EXPENSIVE_AUTORELEASEPOOL_SIZE.md [cost] Add expensive autoreleasepool size issue type 4 years ago
EXPENSIVE_EXECUTION_TIME.md [cost] Add expensive autoreleasepool size issue type 4 years ago
EXPENSIVE_LOOP_INVARIANT_CALL.md [doc] Add documentation for hoisting and invariant calls 5 years ago
GLOBAL_VARIABLE_INITIALIZED_WITH_FUNCTION_OR_METHOD_CALL.md [help] import issue types documentation from website 5 years ago
GUARDEDBY_VIOLATION.md [racerd] document GuardedBy issue 5 years ago
IMPURE_FUNCTION.md [doc] Add documentation for (im)purity 5 years ago
INEFFICIENT_KEYSET_ITERATOR.md [inefficient-keyset-iterator] Add documentation 5 years ago
INFINITE_AUTORELEASEPOOL_SIZE.md [cost] Extend cost_item json format to print autoreleasepool_size 4 years ago
INFINITE_EXECUTION_TIME.md [cost][doc] Add documentation for cost analysis 5 years ago
INTEGER_OVERFLOW.md [inferbo] Remove unused issue types 5 years ago
INTERFACE_NOT_THREAD_SAFE.md [website] make docs URLs absolute 5 years ago
INVARIANT_CALL.md [doc] Add documentation for hoisting and invariant calls 5 years ago
IVAR_NOT_NULL_CHECKED.md [help] import issue types documentation from website 5 years ago
LOCKLESS_VIOLATION.md [starvation] document LOCKLESS_VIOLATION 5 years ago
LOCK_CONSISTENCY_VIOLATION.md [help] import issue types documentation from website 5 years ago
MEMORY_LEAK.md [help] import issue types documentation from website 5 years ago
MIXED_SELF_WEAKSELF.md [help] import issue types documentation from website 5 years ago
MODIFIES_IMMUTABLE.md [immutability] Add a new experimental immutability analysis 4 years ago
MULTIPLE_WEAKSELF.md [help] import issue types documentation from website 5 years ago
MUTABLE_LOCAL_VARIABLE_IN_COMPONENT_FILE.md [help] import issue types documentation from website 5 years ago
NULLPTR_DEREFERENCE.md [pulse] Updating Pulse website 4 years ago
OPTIONAL_EMPTY_ACCESS.md [doc] Documentation for Optional Empty Access 4 years ago
PARAMETER_NOT_NULL_CHECKED.md [help] import issue types documentation from website 5 years ago
POINTER_TO_CONST_OBJC_CLASS.md [help] import issue types documentation from website 5 years ago
PREMATURE_NIL_TERMINATION_ARGUMENT.md [help] import issue types documentation from website 5 years ago
PURE_FUNCTION.md [doc] Add documentation for (im)purity 5 years ago
RESOURCE_LEAK.md [help] import issue types documentation from website 5 years ago
RETAIN_CYCLE.md [help] import issue types documentation from website 5 years ago
STACK_VARIABLE_ADDRESS_ESCAPE.md document pulse issue types 5 years ago
STARVATION.md [help] import issue types documentation from website 5 years ago
STATIC_INITIALIZATION_ORDER_FIASCO.md [help] scaffolding to start documenting issue types 5 years ago
STRICT_MODE_VIOLATION.md [help] import issue types documentation from website 5 years ago
STRONG_DELEGATE_WARNING.md [help] import issue types documentation from website 5 years ago
STRONG_SELF_NOT_CHECKED.md [help] import issue types documentation from website 5 years ago
THREAD_SAFETY_VIOLATION.md [website] make docs URLs absolute 5 years ago
UNINITIALIZED_VALUE.md document uninit issue 5 years ago
USE_AFTER_DELETE.md document pulse issue types 5 years ago
USE_AFTER_FREE.md document pulse issue types 5 years ago
USE_AFTER_LIFETIME.md document pulse issue types 5 years ago
VECTOR_INVALIDATION.md document pulse issue types 5 years ago
WEAK_SELF_IN_NO_ESCAPE_BLOCK.md [help] import issue types documentation from website 5 years ago