Yong hun eom [Tue, 5 Aug 2014 01:17:50 +0000 (18:17 -0700)]
adding a test case
Yong hun eom [Tue, 4 Jun 2013 21:30:40 +0000 (14:30 -0700)]
changes
Yong hun eom [Tue, 4 Jun 2013 21:28:03 +0000 (14:28 -0700)]
print out a warning msg when we have a nondeterministic inlining.
Yong hun eom [Tue, 5 Mar 2013 17:40:23 +0000 (09:40 -0800)]
remove unnecessary annotations to calculate evalution numbers.
Yong hun eom [Tue, 5 Mar 2013 04:46:34 +0000 (20:46 -0800)]
changes.
yeom [Fri, 1 Mar 2013 22:30:44 +0000 (14:30 -0800)]
typo...
Yong hun eom [Fri, 1 Mar 2013 03:13:28 +0000 (19:13 -0800)]
test changes.
Brian Demsky [Fri, 1 Mar 2013 01:52:49 +0000 (17:52 -0800)]
another test
Brian Demsky [Fri, 1 Mar 2013 01:51:33 +0000 (17:51 -0800)]
test of emails
Brian Demsky [Fri, 1 Mar 2013 01:41:35 +0000 (17:41 -0800)]
small diff
Brian Demsky [Fri, 1 Mar 2013 01:34:49 +0000 (17:34 -0800)]
diff
uid1038 [Thu, 28 Feb 2013 23:29:28 +0000 (23:29 +0000)]
changes for generating evaluation numbers.
yeom [Wed, 27 Feb 2013 06:06:26 +0000 (06:06 +0000)]
all fixed...
yeom [Tue, 26 Feb 2013 02:33:32 +0000 (02:33 +0000)]
changes.
yeom [Sun, 24 Feb 2013 00:41:16 +0000 (00:41 +0000)]
changes.
yeom [Fri, 22 Feb 2013 06:22:32 +0000 (06:22 +0000)]
changes.
yeom [Wed, 20 Feb 2013 03:52:41 +0000 (03:52 +0000)]
changes.
yeom [Mon, 18 Feb 2013 19:36:04 +0000 (19:36 +0000)]
a bug fix...
yeom [Sat, 16 Feb 2013 02:08:57 +0000 (02:08 +0000)]
changes.
yeom [Tue, 12 Feb 2013 22:27:15 +0000 (22:27 +0000)]
have a debug flag
yeom [Thu, 7 Feb 2013 01:50:54 +0000 (01:50 +0000)]
changes for the naive approach
yeom [Wed, 6 Feb 2013 01:52:46 +0000 (01:52 +0000)]
changes + bring up uncommited previous changes.
yeom [Sat, 8 Dec 2012 01:29:21 +0000 (01:29 +0000)]
a bug fix.
yeom [Fri, 7 Dec 2012 23:21:50 +0000 (23:21 +0000)]
now it works fine with three benchmarks
yeom [Fri, 7 Dec 2012 02:48:24 +0000 (02:48 +0000)]
changes.
yeom [Wed, 5 Dec 2012 01:44:47 +0000 (01:44 +0000)]
the last piece for the inheritance checking...
yeom [Tue, 4 Dec 2012 02:37:26 +0000 (02:37 +0000)]
changes.
yeom [Tue, 20 Nov 2012 01:56:48 +0000 (01:56 +0000)]
implementing inheritance check + missing features.
yeom [Thu, 8 Nov 2012 06:49:58 +0000 (06:49 +0000)]
changes. it generates correct lattices.
yeom [Wed, 7 Nov 2012 08:08:54 +0000 (08:08 +0000)]
changes.
yeom [Sun, 4 Nov 2012 23:20:39 +0000 (23:20 +0000)]
Changes: Inference engine works fine with the JavaNator benchmark. Found some problems in the original benchmark with the current version of location type checker + definitely written analysis. From the original benchmark, 1) removed static references 2) removed persistent states.
yeom [Sun, 4 Nov 2012 07:24:34 +0000 (07:24 +0000)]
changes: now Inference engine works fine with the EyeTracking benchmark.
yeom [Sat, 3 Nov 2012 06:17:21 +0000 (06:17 +0000)]
changes: 1) fixes problems in the original EyeTracking benchmark 2) fix a bug in the definitely written analysis. It didn't keep cleared shared location type set correctly in certain cases,
Inference engine generated annotations again for the EyeTracking, but it has location type errors.
yeom [Thu, 1 Nov 2012 06:27:46 +0000 (06:27 +0000)]
changes: generated annotated code but it still causes type errors + re-formatting of the benchmark for generating annotated version.
yeom [Wed, 31 Oct 2012 06:26:12 +0000 (06:26 +0000)]
changes + add two more benchmarks without annotations
yeom [Tue, 30 Oct 2012 08:11:18 +0000 (08:11 +0000)]
changes: missing nodes in SC graph
yeom [Tue, 30 Oct 2012 06:10:38 +0000 (06:10 +0000)]
changes.
yeom [Mon, 29 Oct 2012 08:56:37 +0000 (08:56 +0000)]
changes.
yeom [Mon, 29 Oct 2012 01:22:26 +0000 (01:22 +0000)]
changes: mainly fixed problems of a tertiary node, pc loc checking, flow edges of array/index expressions.
yeom [Sun, 28 Oct 2012 08:13:39 +0000 (08:13 +0000)]
changes.
yeom [Sat, 27 Oct 2012 05:25:09 +0000 (05:25 +0000)]
changes.
yeom [Fri, 26 Oct 2012 05:36:04 +0000 (05:36 +0000)]
changes.
yeom [Thu, 25 Oct 2012 08:10:09 +0000 (08:10 +0000)]
changes.
yeom [Wed, 24 Oct 2012 05:20:17 +0000 (05:20 +0000)]
changes.
yeom [Tue, 23 Oct 2012 06:59:30 +0000 (06:59 +0000)]
changes: fixes the case that a shared location appears in the middle of a composite location.
yeom [Sun, 21 Oct 2012 23:50:23 +0000 (23:50 +0000)]
addressing two problems in the composite location generation: 1) when a parameter has a composite location which starts with the 'this' reference, we need to add a ordering constraints s.t. the corresponding argument is higher than the parameter composite location in the global value flow, which might cause structure changes of the global flow graph 2) when a callee assigns a new composite location to the return value, we need to changes ordering relations of the global flow graph.
yeom [Sun, 21 Oct 2012 02:10:14 +0000 (02:10 +0000)]
changes on the composite location generation (but still it doesn't work) & found bugs in the type checker + fixed annotations
yeom [Sat, 20 Oct 2012 06:26:37 +0000 (06:26 +0000)]
changes on global composite assignment translation and pcloc generation
yeom [Fri, 19 Oct 2012 01:40:14 +0000 (01:40 +0000)]
changes.
yeom [Thu, 18 Oct 2012 08:15:03 +0000 (08:15 +0000)]
changes.
yeom [Thu, 18 Oct 2012 01:30:10 +0000 (01:30 +0000)]
bug fixes + generating PC/RETURNLOC in a flow graph
yeom [Tue, 16 Oct 2012 01:44:22 +0000 (01:44 +0000)]
fixes on PCLOC generation, intermediate node insertion, etc...
yeom [Mon, 15 Oct 2012 02:42:50 +0000 (02:42 +0000)]
changes: fix all problems of mapping between a flow node/hierarchy node to a lattice element
yeom [Sun, 14 Oct 2012 00:55:36 +0000 (00:55 +0000)]
changes.
yeom [Sat, 13 Oct 2012 01:52:42 +0000 (01:52 +0000)]
changes to pass the location type check.
bdemsky [Fri, 12 Oct 2012 07:08:12 +0000 (07:08 +0000)]
remove people from spam list
yeom [Fri, 12 Oct 2012 02:47:41 +0000 (02:47 +0000)]
changes.
yeom [Thu, 11 Oct 2012 02:11:19 +0000 (02:11 +0000)]
changes.
yeom [Tue, 9 Oct 2012 00:01:24 +0000 (00:01 +0000)]
changes: now it generates simple lattice without having intermediate nodes for the mp3decoder benchmark.
yeom [Mon, 8 Oct 2012 01:39:09 +0000 (01:39 +0000)]
changes.
yeom [Sat, 6 Oct 2012 00:24:30 +0000 (00:24 +0000)]
changes.
yeom [Fri, 5 Oct 2012 16:25:27 +0000 (16:25 +0000)]
changes.
yeom [Wed, 3 Oct 2012 02:18:21 +0000 (02:18 +0000)]
major revisions on FlowGraph to have more precise information
yeom [Tue, 2 Oct 2012 01:15:13 +0000 (01:15 +0000)]
changes to get a global flow graph
yeom [Sat, 29 Sep 2012 00:56:43 +0000 (00:56 +0000)]
changes.
yeom [Sat, 22 Sep 2012 00:49:41 +0000 (00:49 +0000)]
changes.
yeom [Sun, 16 Sep 2012 20:20:59 +0000 (20:20 +0000)]
changes: building field/method hierarchy graph + inserting combination nodes at the point where flows from skeleton nodes(params/fields) are actually combined.
bdemsky [Sun, 16 Sep 2012 19:12:45 +0000 (19:12 +0000)]
change
yeom [Fri, 17 Aug 2012 10:55:17 +0000 (10:55 +0000)]
changes.
yeom [Fri, 17 Aug 2012 01:45:03 +0000 (01:45 +0000)]
changes.
yeom [Thu, 16 Aug 2012 15:16:03 +0000 (15:16 +0000)]
changes.
yeom [Wed, 15 Aug 2012 19:23:23 +0000 (19:23 +0000)]
generate annotated source code again but it's still not the correct one...
yeom [Wed, 15 Aug 2012 02:45:30 +0000 (02:45 +0000)]
changes.
yeom [Mon, 13 Aug 2012 08:12:28 +0000 (08:12 +0000)]
changes.
yeom [Mon, 13 Aug 2012 02:07:08 +0000 (02:07 +0000)]
reformat benchmark source codes to meet the requirements of the annotation generation.
yeom [Mon, 13 Aug 2012 02:04:25 +0000 (02:04 +0000)]
changes + annotation generation
yeom [Sat, 11 Aug 2012 23:29:57 +0000 (23:29 +0000)]
changes.
yeom [Fri, 10 Aug 2012 23:54:56 +0000 (23:54 +0000)]
bug fixes on the flow graph.
yeom [Fri, 10 Aug 2012 01:50:41 +0000 (01:50 +0000)]
changes.
yeom [Wed, 8 Aug 2012 09:16:35 +0000 (09:16 +0000)]
changes.
yeom [Tue, 7 Aug 2012 16:25:40 +0000 (16:25 +0000)]
changes.
yeom [Tue, 7 Aug 2012 01:19:59 +0000 (01:19 +0000)]
changes.
yeom [Mon, 6 Aug 2012 08:36:34 +0000 (08:36 +0000)]
changes.
yeom [Mon, 6 Aug 2012 00:34:22 +0000 (00:34 +0000)]
changes.
yeom [Sat, 4 Aug 2012 18:49:18 +0000 (18:49 +0000)]
more changes.
yeom [Sat, 4 Aug 2012 02:09:12 +0000 (02:09 +0000)]
changes.
yeom [Thu, 2 Aug 2012 21:06:46 +0000 (21:06 +0000)]
fixed another problem of the flow-down check. If an assignment statement has OP+EQ operator(eg,+=,*=), calculate GLB of LHS & RHS and then assign it as the location type of RHS. + annotation fixes according to fix.
yeom [Thu, 2 Aug 2012 00:48:32 +0000 (00:48 +0000)]
add PCLOC annotations. all three benchmarks are type-checked now.
yeom [Wed, 1 Aug 2012 22:50:30 +0000 (22:50 +0000)]
Allow to declare a composite location for the initial program counter location.
The developer can declare the program counter location as a composite location that starts with the location type of the current object 'this'. It provides more specific constraints on value flows between fields in the current object.
yeom [Wed, 1 Aug 2012 18:28:54 +0000 (18:28 +0000)]
implemented PCLOC annotation.
yeom [Wed, 1 Aug 2012 06:47:43 +0000 (06:47 +0000)]
fix.
yeom [Wed, 1 Aug 2012 00:45:29 +0000 (00:45 +0000)]
changes on the inference engine.
yeom [Tue, 31 Jul 2012 00:34:02 +0000 (00:34 +0000)]
add source code that does not have location annotations.
yeom [Mon, 30 Jul 2012 17:42:23 +0000 (17:42 +0000)]
changes.
yeom [Fri, 13 Jul 2012 19:09:33 +0000 (19:09 +0000)]
changes.
yeom [Sat, 7 Jul 2012 02:08:11 +0000 (02:08 +0000)]
a bunch of fixes.
yeom [Fri, 29 Jun 2012 00:34:27 +0000 (00:34 +0000)]
implemented a fixed point based interprocedural analysis that analyzes flow-graphs and construct a lattice for each method.
jzhou [Tue, 5 Jun 2012 02:23:17 +0000 (02:23 +0000)]
Initialize class objects first as in the staic blocks there might be references to the class objects
jzhou [Fri, 1 Jun 2012 03:01:32 +0000 (03:01 +0000)]
remove Input file related stuff from the compiler and runtime system
jjenista [Thu, 31 May 2012 02:09:01 +0000 (02:09 +0000)]
keep a copy of my current dissertation example to investiaget further and another one to just fix and use
projects / IRC.git / log