Well, now it is making efforts to move quickly and mend things.
The company now wants everybody to check their software this way.
However, these tools cannot do deep code analysis at the level that Infer can says OHearn.
OHearn says I think of it as AI.
Distefano and Calcagno went on to different institutes and persisted with their research.
They made a decision and founded startup called Monoidics and requested OHearn to join them.
The original plan was to develop a commercial product depending on their work.
The team is now able to give the entire platform away free of charge.
Static analysis is full of great ideas but also unsolved problems, he says.
We hope this can boost collaboration between industry and academia, and get research flowing in both directions.
source: www.techworm.net
