LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

OCaml

infer

A static analyzer for Java, C, C++, and Objective-C

OCamlEmerging

Stars

1

Forks

1

Contributors

8

Last push

11d ago

Recent commits

Latest commits.

[infer][pulse][swift] honor [weak self] capture in register_closure_holder
38c3e65Dulma Churchill15d ago
[test][infer][pulse][swift] pin KVO-observer [weak self] retain-cycle FP
cd7fd1fDulma Churchill15d ago
[infer][swift][test] repro: retain-cycle label shows mangled name for local class
3b7dbf3Dulma Churchill15d ago
[infer][pulse] render retain-cycle self/locals without the `&` address-of
846830bDulma Churchill15d ago
[infer][pulse][swift] fix SWIFT_NPE false positives on safe Optional access
72366f3Dulma Churchill

15d ago

[test][infer][swift][pulse] pin safe Optional-access SWIFT_NPE FPs

2e25186Dulma Churchill15d ago

[infer][pulse] model android-base LogMessage FATAL constructor as no-return

4071f3bDulma Churchill15d ago

[infer][pulse] repro: COMPARED_TO_NULL_AND_DEREFERENCED FP after android-base CHECK

0e8862aDulma Churchill15d ago

Top contributors

Builders behind this project.