Commit 219bf51

committed

Dataflow: Add support for flow state.

1 parent 38d0bb4 commit 219bf51Copy full SHA for 219bf51

2 files changed

+1063

-568

lines changed

java/ql/lib/semmle/code/java/dataflow/internal
- DataFlowImpl.qll
- DataFlowImplCommon.qll

+1063

-568

lines changed

Comments

(0)