IMO, they will introduce their own class of bugs that will defy static analysis.