Functor Prevent™

Try now: Functor Prevent™ Cloud Services


If you create an account as a potential early adopter or evaluator, we offer, for a limited time, free access to all services (commercial users do not need a subscription plan). We offer this since we roll out, gradually, new features (statistics, reporting combined with our static analysis reports). We just ask for your feedback, running on code of your choice, with full reports. Your account comes with a dashboard showing graphically what Functor Prevent™ achieved on the version controlled Linux 3.x kernel, embedded operating systems such as Contiki and TinyOS for IoT, and microcontroller libraries, the entire Erlang/OTP codebase, MySQL, OpenSSL (showing it would have prevented Heartbleed), multicore libraries, NVIDIA CUDA libraries, and many more projects. Without yourself uploading or connecting to your own code, or project, you can suggest to us more projects and libraries. Powerful servers are ready and running! New virtual instances are created for each codebase. Team analytics works with Git repositories, for example. Select "Register Account" in the Pay-as-you-Go plan, and you are all set up.

With the next generation of static code analysis you can continuously prevent defects and enforce contractually defined interfaces between components at compile-time. Boilerplate code is eliminated and you deliver your products faster, with higher quality and greater profits.

The fastest way to prevent defects in C code

For Erlang/OTP with many millions lines of code, Functor Prevent Cloud Services™ identifies immediately errors and safety defects. No more false positives with Functor Static Analysis™ and the accompanying Functor Hybrid Testing™ method, in total contrast to the very expensive previous generation static analysis tools on the market (our most high-profile and demanding customer found these tools useless for their systems, some of the most critical and advanced real-time systems ever designed).

You can connect to any GitHub repository (public or commercial/private) with a single click and get a report for free. For complete functionality, we offer the most cost-effective solution available, with a magnitude improvement over previous generation static analysis tools.

Or you can have it run on every commit in a continuous build environment, including on your own servers, as it is easily deployed and works with essentially any toolchain on top of any standard C compiler and development environment.

Functor Prevent™ Cloud Services also gives insights into code and goes deep into the version control like a time machine, analysing the code at every single commit since the beginning of time, and showing this diagrammatically in your report. Managers can monitor the activity of their team with statistics and reports for team members at any point or show it over any period of time, with elegant graphics to help with insights about code quality and challenges in demanding projects.

Functor Hybrid Testing™ and Functor Static Analysis™

Hybrid Testing™ helps reducing time to market and control risks. Functor Prevent™ provides the next generation technology for static code analysis and automated testing in one single powerful tool.

With Functor Prevent™ testability of your code increases and many test cases are logically checked for you, while others are identified to guide you in more productive development testing as well as system and integration testing.

Writing correct test cases, and maintaining them as the code base changes, ensure coverage using a suitable metric, can be extremely challenging and is often done in highly pressured delivery windows. With Functor Prevent™ you can productively provide software which is delivered faster with greater safety and higher quality.

No specialist training is required to plug in Functor Prevent™ into an existing project. Furthermore, Prevent™ works with ANSI C, MISRA C compilers, existing tools such as previous generation static analysis tools, test automation tools (which today referes to automatic execution of existing test cases, often continuously) and continuous integration and build environments. Programmers becomes more productive and are assisted in their work to provide high quality code basedf on sophisticated but fully automated analysis of the code in each build and code commit.



IN SOME PROJECTS MORE THAN 50% OF THE BUGS / DEFECTS, FUNCTIONAL AND NON-FUNCTIONAL, CAN BE PREVENTED WITH FUNCTOR PREVENT™. THE NEW HYBRID TESTING™ APPROACH CHECKS MILLIONS OF PROGRAM STATES AUTOMATICALLY AND GUIDE YOUR TO QUALITY ENSURED DELIVERABLES, TESTABLE AND CORRECT CODE, FASTER. MANAGERS GETS INSIGHTS INTO TEAM PROGRESS, HISTORICALLY AND IN REAL-TIME.

Over forty years of research is, with Functor Prevent™, nearly transparent to the user, plugs directly into existing tool infrastructure, tools, methods, compilers. While you need not change your way of working, Functor Prevent™ removes defects in a new way, and helps to reduce testing time and cost. Important classes of test cases and unit tests take the form of pre-test cases which are statically guaranteed. You get a “yes” or a “no”, and testing coverage increases since you can focus testing activity to what is not statically guaranteed before the testing activity starts.

It's all available to you with a single press of a button.