IRC.git
7 years agoadding a test case master
Yong hun eom [Tue, 5 Aug 2014 01:17:50 +0000 (18:17 -0700)]
adding a test case

8 years agochanges
Yong hun eom [Tue, 4 Jun 2013 21:30:40 +0000 (14:30 -0700)]
changes

8 years agoprint out a warning msg when we have a nondeterministic inlining.
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.

8 years agoremove unnecessary annotations to calculate evalution numbers.
Yong hun eom [Tue, 5 Mar 2013 17:40:23 +0000 (09:40 -0800)]
remove unnecessary annotations to calculate evalution numbers.

8 years agochanges.
Yong hun eom [Tue, 5 Mar 2013 04:46:34 +0000 (20:46 -0800)]
changes.

8 years agotypo...
yeom [Fri, 1 Mar 2013 22:30:44 +0000 (14:30 -0800)]
typo...

8 years agotest changes.
Yong hun eom [Fri, 1 Mar 2013 03:13:28 +0000 (19:13 -0800)]
test changes.

8 years agoanother test
Brian Demsky [Fri, 1 Mar 2013 01:52:49 +0000 (17:52 -0800)]
another test

8 years agotest of emails
Brian Demsky [Fri, 1 Mar 2013 01:51:33 +0000 (17:51 -0800)]
test of emails

8 years agosmall diff
Brian Demsky [Fri, 1 Mar 2013 01:41:35 +0000 (17:41 -0800)]
small diff

8 years agodiff
Brian Demsky [Fri, 1 Mar 2013 01:34:49 +0000 (17:34 -0800)]
diff

8 years agochanges for generating evaluation numbers.
uid1038 [Thu, 28 Feb 2013 23:29:28 +0000 (23:29 +0000)]
changes for generating evaluation numbers.

8 years agoall fixed...
yeom [Wed, 27 Feb 2013 06:06:26 +0000 (06:06 +0000)]
all fixed...

8 years agochanges.
yeom [Tue, 26 Feb 2013 02:33:32 +0000 (02:33 +0000)]
changes.

8 years agochanges.
yeom [Sun, 24 Feb 2013 00:41:16 +0000 (00:41 +0000)]
changes.

8 years agochanges.
yeom [Fri, 22 Feb 2013 06:22:32 +0000 (06:22 +0000)]
changes.

8 years agochanges.
yeom [Wed, 20 Feb 2013 03:52:41 +0000 (03:52 +0000)]
changes.

8 years agoa bug fix...
yeom [Mon, 18 Feb 2013 19:36:04 +0000 (19:36 +0000)]
a bug fix...

8 years agochanges.
yeom [Sat, 16 Feb 2013 02:08:57 +0000 (02:08 +0000)]
changes.

8 years agohave a debug flag
yeom [Tue, 12 Feb 2013 22:27:15 +0000 (22:27 +0000)]
have a debug flag

8 years agochanges for the naive approach
yeom [Thu, 7 Feb 2013 01:50:54 +0000 (01:50 +0000)]
changes for the naive approach

8 years agochanges + bring up uncommited previous changes.
yeom [Wed, 6 Feb 2013 01:52:46 +0000 (01:52 +0000)]
changes + bring up uncommited previous changes.

8 years agoa bug fix.
yeom [Sat, 8 Dec 2012 01:29:21 +0000 (01:29 +0000)]
a bug fix.

8 years agonow it works fine with three benchmarks
yeom [Fri, 7 Dec 2012 23:21:50 +0000 (23:21 +0000)]
now it works fine with three benchmarks

8 years agochanges.
yeom [Fri, 7 Dec 2012 02:48:24 +0000 (02:48 +0000)]
changes.

8 years agothe last piece for the inheritance checking...
yeom [Wed, 5 Dec 2012 01:44:47 +0000 (01:44 +0000)]
the last piece for the inheritance checking...

8 years agochanges.
yeom [Tue, 4 Dec 2012 02:37:26 +0000 (02:37 +0000)]
changes.

8 years agoimplementing inheritance check + missing features.
yeom [Tue, 20 Nov 2012 01:56:48 +0000 (01:56 +0000)]
implementing inheritance check + missing features.

8 years agochanges. it generates correct lattices.
yeom [Thu, 8 Nov 2012 06:49:58 +0000 (06:49 +0000)]
changes. it generates correct lattices.

8 years agochanges.
yeom [Wed, 7 Nov 2012 08:08:54 +0000 (08:08 +0000)]
changes.

8 years agoChanges: Inference engine works fine with the JavaNator benchmark. Found some problem...
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.

8 years agochanges: now Inference engine works fine with the EyeTracking benchmark.
yeom [Sun, 4 Nov 2012 07:24:34 +0000 (07:24 +0000)]
changes: now Inference engine works fine with the EyeTracking benchmark.

8 years agochanges: 1) fixes problems in the original EyeTracking benchmark 2) fix a bug in...
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.

8 years agochanges: generated annotated code but it still causes type errors + re-formatting...
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.

8 years agochanges + add two more benchmarks without annotations
yeom [Wed, 31 Oct 2012 06:26:12 +0000 (06:26 +0000)]
changes + add two more benchmarks without annotations

8 years agochanges: missing nodes in SC graph
yeom [Tue, 30 Oct 2012 08:11:18 +0000 (08:11 +0000)]
changes: missing nodes in SC graph

8 years agochanges.
yeom [Tue, 30 Oct 2012 06:10:38 +0000 (06:10 +0000)]
changes.

8 years agochanges.
yeom [Mon, 29 Oct 2012 08:56:37 +0000 (08:56 +0000)]
changes.

8 years agochanges: mainly fixed problems of a tertiary node, pc loc checking, flow edges of...
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.

8 years agochanges.
yeom [Sun, 28 Oct 2012 08:13:39 +0000 (08:13 +0000)]
changes.

8 years agochanges.
yeom [Sat, 27 Oct 2012 05:25:09 +0000 (05:25 +0000)]
changes.

8 years agochanges.
yeom [Fri, 26 Oct 2012 05:36:04 +0000 (05:36 +0000)]
changes.

9 years agochanges.
yeom [Thu, 25 Oct 2012 08:10:09 +0000 (08:10 +0000)]
changes.

9 years agochanges.
yeom [Wed, 24 Oct 2012 05:20:17 +0000 (05:20 +0000)]
changes.

9 years agochanges: fixes the case that a shared location appears in the middle of a composite...
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.

9 years agoaddressing two problems in the composite location generation: 1) when a parameter...
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.

9 years agochanges on the composite location generation (but still it doesn't work) & found...
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

9 years agochanges on global composite assignment translation and pcloc generation
yeom [Sat, 20 Oct 2012 06:26:37 +0000 (06:26 +0000)]
changes on global composite assignment translation and pcloc generation

9 years agochanges.
yeom [Fri, 19 Oct 2012 01:40:14 +0000 (01:40 +0000)]
changes.

9 years agochanges.
yeom [Thu, 18 Oct 2012 08:15:03 +0000 (08:15 +0000)]
changes.

9 years agobug fixes + generating PC/RETURNLOC in a flow graph
yeom [Thu, 18 Oct 2012 01:30:10 +0000 (01:30 +0000)]
bug fixes + generating PC/RETURNLOC in a flow graph

9 years agofixes on PCLOC generation, intermediate node insertion, etc...
yeom [Tue, 16 Oct 2012 01:44:22 +0000 (01:44 +0000)]
fixes on PCLOC generation, intermediate node insertion, etc...

9 years agochanges: fix all problems of mapping between a flow node/hierarchy node to a lattice...
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

9 years agochanges.
yeom [Sun, 14 Oct 2012 00:55:36 +0000 (00:55 +0000)]
changes.

9 years agochanges to pass the location type check.
yeom [Sat, 13 Oct 2012 01:52:42 +0000 (01:52 +0000)]
changes to pass the location type check.

9 years agoremove people from spam list
bdemsky [Fri, 12 Oct 2012 07:08:12 +0000 (07:08 +0000)]
remove people from spam list

9 years agochanges.
yeom [Fri, 12 Oct 2012 02:47:41 +0000 (02:47 +0000)]
changes.

9 years agochanges.
yeom [Thu, 11 Oct 2012 02:11:19 +0000 (02:11 +0000)]
changes.

9 years agochanges: now it generates simple lattice without having intermediate nodes for the...
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.

9 years agochanges.
yeom [Mon, 8 Oct 2012 01:39:09 +0000 (01:39 +0000)]
changes.

9 years agochanges.
yeom [Sat, 6 Oct 2012 00:24:30 +0000 (00:24 +0000)]
changes.

9 years agochanges.
yeom [Fri, 5 Oct 2012 16:25:27 +0000 (16:25 +0000)]
changes.

9 years agomajor revisions on FlowGraph to have more precise information
yeom [Wed, 3 Oct 2012 02:18:21 +0000 (02:18 +0000)]
major revisions on FlowGraph to have more precise information

9 years agochanges to get a global flow graph
yeom [Tue, 2 Oct 2012 01:15:13 +0000 (01:15 +0000)]
changes to get a global flow graph

9 years agochanges.
yeom [Sat, 29 Sep 2012 00:56:43 +0000 (00:56 +0000)]
changes.

9 years agochanges.
yeom [Sat, 22 Sep 2012 00:49:41 +0000 (00:49 +0000)]
changes.

9 years agochanges: building field/method hierarchy graph + inserting combination nodes at the...
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.

9 years agochange
bdemsky [Sun, 16 Sep 2012 19:12:45 +0000 (19:12 +0000)]
change

9 years agochanges.
yeom [Fri, 17 Aug 2012 10:55:17 +0000 (10:55 +0000)]
changes.

9 years agochanges.
yeom [Fri, 17 Aug 2012 01:45:03 +0000 (01:45 +0000)]
changes.

9 years agochanges.
yeom [Thu, 16 Aug 2012 15:16:03 +0000 (15:16 +0000)]
changes.

9 years agogenerate annotated source code again but it's still not the correct one...
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...

9 years agochanges.
yeom [Wed, 15 Aug 2012 02:45:30 +0000 (02:45 +0000)]
changes.

9 years agochanges.
yeom [Mon, 13 Aug 2012 08:12:28 +0000 (08:12 +0000)]
changes.

9 years agoreformat benchmark source codes to meet the requirements of the annotation generation.
yeom [Mon, 13 Aug 2012 02:07:08 +0000 (02:07 +0000)]
reformat benchmark source codes to meet the requirements of the annotation generation.

9 years agochanges + annotation generation
yeom [Mon, 13 Aug 2012 02:04:25 +0000 (02:04 +0000)]
changes + annotation generation

9 years agochanges.
yeom [Sat, 11 Aug 2012 23:29:57 +0000 (23:29 +0000)]
changes.

9 years agobug fixes on the flow graph.
yeom [Fri, 10 Aug 2012 23:54:56 +0000 (23:54 +0000)]
bug fixes on the flow graph.

9 years agochanges.
yeom [Fri, 10 Aug 2012 01:50:41 +0000 (01:50 +0000)]
changes.

9 years agochanges.
yeom [Wed, 8 Aug 2012 09:16:35 +0000 (09:16 +0000)]
changes.

9 years agochanges.
yeom [Tue, 7 Aug 2012 16:25:40 +0000 (16:25 +0000)]
changes.

9 years agochanges.
yeom [Tue, 7 Aug 2012 01:19:59 +0000 (01:19 +0000)]
changes.

9 years agochanges.
yeom [Mon, 6 Aug 2012 08:36:34 +0000 (08:36 +0000)]
changes.

9 years agochanges.
yeom [Mon, 6 Aug 2012 00:34:22 +0000 (00:34 +0000)]
changes.

9 years agomore changes.
yeom [Sat, 4 Aug 2012 18:49:18 +0000 (18:49 +0000)]
more changes.

9 years agochanges.
yeom [Sat, 4 Aug 2012 02:09:12 +0000 (02:09 +0000)]
changes.

9 years agofixed another problem of the flow-down check. If an assignment statement has OP+EQ...
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.

9 years agoadd PCLOC annotations. all three benchmarks are type-checked now.
yeom [Thu, 2 Aug 2012 00:48:32 +0000 (00:48 +0000)]
add PCLOC annotations. all three benchmarks are type-checked now.

9 years agoAllow to declare a composite location for the initial program counter location.
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.

9 years agoimplemented PCLOC annotation.
yeom [Wed, 1 Aug 2012 18:28:54 +0000 (18:28 +0000)]
implemented PCLOC annotation.

9 years agofix.
yeom [Wed, 1 Aug 2012 06:47:43 +0000 (06:47 +0000)]
fix.

9 years agochanges on the inference engine.
yeom [Wed, 1 Aug 2012 00:45:29 +0000 (00:45 +0000)]
changes on the inference engine.

9 years agoadd source code that does not have location annotations.
yeom [Tue, 31 Jul 2012 00:34:02 +0000 (00:34 +0000)]
add source code that does not have location annotations.

9 years agochanges.
yeom [Mon, 30 Jul 2012 17:42:23 +0000 (17:42 +0000)]
changes.

9 years agochanges.
yeom [Fri, 13 Jul 2012 19:09:33 +0000 (19:09 +0000)]
changes.

9 years agoa bunch of fixes.
yeom [Sat, 7 Jul 2012 02:08:11 +0000 (02:08 +0000)]
a bunch of fixes.

9 years agoimplemented a fixed point based interprocedural analysis that analyzes flow-graphs...
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.

9 years agoInitialize class objects first as in the staic blocks there might be references to...
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

9 years agoremove Input file related stuff from the compiler and runtime system
jzhou [Fri, 1 Jun 2012 03:01:32 +0000 (03:01 +0000)]
remove Input file related stuff from the compiler and runtime system

9 years agokeep a copy of my current dissertation example to investiaget further and another...
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