bug fixes + generating PC/RETURNLOC in a flow graph
[IRC.git] / Robust / src / Analysis / SSJava / LocationInference.java
2012-10-18 yeombug fixes + generating PC/RETURNLOC in a flow graph
2012-10-16 yeomfixes on PCLOC generation, intermediate node insertion...
2012-10-15 yeomchanges: fix all problems of mapping between a flow...
2012-10-14 yeomchanges.
2012-10-13 yeomchanges to pass the location type check.
2012-10-12 yeomchanges.
2012-10-11 yeomchanges.
2012-10-09 yeomchanges: now it generates simple lattice without having...
2012-10-08 yeomchanges.
2012-10-06 yeomchanges.
2012-10-05 yeomchanges.
2012-10-03 yeommajor revisions on FlowGraph to have more precise infor...
2012-10-02 yeomchanges to get a global flow graph
2012-09-29 yeomchanges.
2012-09-22 yeomchanges.
2012-09-16 yeomchanges: building field/method hierarchy graph + insert...
2012-08-17 yeomchanges.
2012-08-17 yeomchanges.
2012-08-16 yeomchanges.
2012-08-15 yeomgenerate annotated source code again but it's still...
2012-08-15 yeomchanges.
2012-08-13 yeomchanges.
2012-08-13 yeomchanges + annotation generation
2012-08-11 yeomchanges.
2012-08-10 yeombug fixes on the flow graph.
2012-08-10 yeomchanges.
2012-08-08 yeomchanges.
2012-08-07 yeomchanges.
2012-08-07 yeomchanges.
2012-08-06 yeomchanges.
2012-08-06 yeomchanges.
2012-08-04 yeommore changes.
2012-08-04 yeomchanges.
2012-08-01 yeomchanges on the inference engine.
2012-07-30 yeomchanges.
2012-07-13 yeomchanges.
2012-07-07 yeoma bunch of fixes.
2012-06-29 yeomimplemented a fixed point based interprocedural analysi...
2012-05-07 yeommore implementation for the inference: propagating...
2012-04-30 yeomchanges on the SJava inference
2012-04-20 yeommore changes.
2012-04-19 yeomchanges.
2012-04-16 yeomchanges.
2012-04-10 yeomstart implementing basic approach
2012-03-22 yeomchanges on inference
2012-02-17 yeomchanges.
2012-02-17 yeomsetup some interfaces & skeleton codes for Adrian's...