Related Searches

Categories

Types

License

Pricing

Latest from our Blog

Welcoming Bearer as Our Sponsor: Simple Ruby and JavaScript App Security

Thu Apr 06 2023

As a developer, I have faced my fair share of security mishaps. I recall times when I accidentally exposed sensitive data in logs or sent a network request over a non-encrypted HTTP channel when HTTPS was available. I'm sure many of you can relate to these situations. We may not be security experts, but that doesn't mean we shouldn't take measures to protect our applications. This is where Bearer, a new security tool for Ruby and JavaScript apps (Java coming soon), comes into play.

Read more
Show all

You Can Contribute!

You can help to improve this list by voting for your favorite tools or adding new ones

Suggest a tool

Stay Informed

Sign up to our newsletter and always stay up to date with the latest tools and trends in development

OCaml

The Best OCaml Static Analysis Tools (Linters/Formatters)

We rank 3 OCaml linters, code analyzers, formatters, and more. Find and compare tools like Semgrep, Sys, VeriFast, and more. Please rate and review tools that you've used. This helps others find the best tools for their projects.

Learn more about OCaml

2 OCaml Tools

Sys

A static/symbolic Tool for finding bugs in (browser) code. It uses the LLVM AST to find bugs like uninitialized memory access.

  • MaintainedMaintained
  • MaintainedOcaml
  • Maintainedcli
  • Maintainedlinter
  • 0% upvoted

VeriFast

A tool for modular formal verification of correctness properties of single-threaded and multithreaded C and Java programs annotated with preconditions and postconditions written in separation logic. To express rich specifications, the programmer can define inductive datatypes, primitive recursive pure functions over these datatypes, and abstract separation logic predicates.

  • MaintainedMaintained
  • MaintainedOcaml
  • Maintainedcli
  • Maintainedlinter
  • 0% upvoted

1 Multi-Language Tools

Semgrep

Sponsor

A fast, open-source, static analysis tool for finding bugs and enforcing code standards at editor, commit, and CI time. Its rules look like the code you already write; no abstract syntax trees or regex wrestling. Supports 17+ languages.

  • MaintainedMaintained
  • MaintainedMulti-Language
  • MaintainedcliMaintainedservice
  • Maintainedlinter
  • 80% upvoted

Help make this list better
Suggest Tools

Frequently Asked Questions

What are OCaml tools?

OCaml is an industrial-strength programming language supporting functional, imperative and object-oriented styles. It is used in a wide variety of applications, including high-performance computing, finance, bioinformatics, and many others. OCaml is a general-purpose programming language, designed with efficiency, reliability, and flexibility in mind. It is used in a wide variety of applications, including high-performance computing, finance, bioinformatics, and many others.

What are the best OCaml static analysis tools and linters?

The most popular OCaml tools ranked by user votes are: Semgrep, Sys, VeriFast.

Which OCaml services are free for open source projects?

Commercial services with a free plan for open source include Semgrep, Sys, VeriFast.

Our Sponsors

This website is completely open source. To fund our work, we fully rely on sponsors. Thanks to them, we can keep the site free for everybody. Please check out their offers below.

  • DeepCode
  • Bearer
  • CodeScene
  • semgrep
  • Codiga
  • Offensive 360