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

—

Forks

—

Contributors

8

Last push

26mo ago

Recent commits

Latest commits.

[retain cycles] Adding a test that shows an example where we report a wrong cycle
12fcbe1Dulma Churchill26mo ago
[annot] Add test case for class/interface level annotations
731f905Akos Hajdu26mo ago
[retain cycles] Improve the filtering of retain cycles reporting
df9bf7dDulma Churchill26mo ago
[annot] Use FullNameOnly verbosity for matching method class/name
87c53a9Akos Hajdu26mo ago
[clang] Add default case for all switch in ASTExporter.h
e8945d6Sungkeun Cho26mo ago

[refactor] Lineage.Out: have base json writing functions take channel as an explicit argument

9cd0e6bThibault Suzanne26mo ago

[refactor] Pull `Lineage.G.Out` from `Lineage.G` into a top level `Lineage.Out` module

38c72b5Thibault Suzanne26mo ago

[infer] Remove CONTRIBUTORS file

8edb22eSungkeun Cho26mo ago

Top contributors

Builders behind this project.