X
Select a record to create:
Vendor
Feature your company on the IoT ONE platform.
Select
Case Study
Feature case studies to demonstrate the value your solutions provide.
Select
Hardware
Share the specifications and applications of your hardware portfolio with potential customers.
Select
Software
Share the capabilities and applications of your software portfolio with potential customers.
Select
Guide
Establish thought leaderships for yourself and your company in your target markets.
Select
Event
Feature your events for IoT ONE’s audience of decision makers and experts.
Select
Organization
List your organization in our database and share your mission and membership.
Select
Use Case
Suggest a new Industrial IoT use case and share your expertise.
Select
Term
Suggest a new Industrial IoT term and share your expertise.
Select
VeriFlux
Vendor
Aicas
Software Category
Platform as a Service
Product Website
Open website
Contact Vendor
Feature New Record
Vendor
Case Study
Hardware
Software
Guide
Event
Organization
Use Case
Term
Overview
Compare
(1)
DESCRIPTION
Description
VeriFlux is an automatic static code analysis tool for use in complete applications, as well as custom program parts. Nothing needs to be changed in the application to carry out the analysis. Error sources such as run-time errors or thread-related errors are highlighted in the source code.
Early detection of bugs at the source code level reduces the need for dynamic testing, and helps prevent bugs from making it into the field, resulting in a substantial reduction in development costs and time.
Fatal error
: Call to a member function get() on null in
/efs/iotone.com/module/Application/view/application/software/index_view.phtml
on line
118