Viewing profile — dulma
dulma
HN member- Joined
- Thu, Jun 11, 2015, 7:36 AM UTC
- HN karma
- 12
- Public activity
- 2 items
- HN profile
- View on Hacker News ↗
About dulma
No profile information was provided.
Recent public activity
-
comment
Comment #9701188
Infer finds deeper infer-procedural bugs sometimes spanning multiple files. Linters, in contrast, typically implement simple syntactic checks that are local within one procedure. B…
-
comment
Comment #9701123
On iOS there is the Clang Static analyzer. Infer does some things different, in particular reasoning that spans across multiple files. But CSA checks for more kinds of issues and i…