Skip to content

0.7.0.md

Latest commit

 

History

History
21 lines (15 loc) · 749 Bytes

0.7.0.md

File metadata and controls

21 lines (15 loc) · 749 Bytes

0.7.0

Deprecated APIs

  • The ExecCallable class in ExternalProcess.qll has been deprecated.

Major Analysis Improvements

  • The data flow library now performs type strengthening. This increases precision for all data flow queries by excluding paths that can be inferred to be impossible due to incompatible types.

Minor Analysis Improvements

  • Added automatically-generated dataflow models for javax.portlet.
  • Added a missing summary model for the method java.net.URL.toString.
  • Added automatically-generated dataflow models for the following frameworks and libraries:
    • hudson
    • jenkins
    • net.sf.json
    • stapler
  • Added more models for the Hudson framework.
  • Added more models for the Stapler framework.