IRC.git
9 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.

9 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

9 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

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

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

9 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.

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

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

9 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

9 years agoFix bugs: 1) reorder the initialization of static fields and the execution of static...
jzhou [Thu, 31 May 2012 00:17:54 +0000 (00:17 +0000)]
Fix bugs: 1) reorder the initialization of static fields and the execution of static blocks to make sure that a class' static fields/blocks are initialized/executed after those of its super classes' 2) fix compile problem of FileInputStream.nativeOpen()

9 years agoBug fix, the compressed version of input files can work now
jzhou [Sat, 19 May 2012 04:17:29 +0000 (04:17 +0000)]
Bug fix, the compressed version of input files can work now

9 years agoAdd compressed version of input files, still have bugs
jzhou [Fri, 18 May 2012 02:46:40 +0000 (02:46 +0000)]
Add compressed version of input files, still have bugs

9 years agoEnable the nextDoublt() call for reading input files
jzhou [Thu, 17 May 2012 03:01:58 +0000 (03:01 +0000)]
Enable the nextDoublt() call for reading input files

9 years agoChanges for reading input files in MGC version
jzhou [Tue, 15 May 2012 00:27:08 +0000 (00:27 +0000)]
Changes for reading input files in MGC version

9 years agochanges for reading input files
jzhou [Thu, 10 May 2012 03:51:35 +0000 (03:51 +0000)]
changes for reading input files

9 years agochanges for reading input files
jzhou [Wed, 9 May 2012 04:05:09 +0000 (04:05 +0000)]
changes for reading input files

9 years agoChanges for reading input files in MGC version
jzhou [Tue, 8 May 2012 00:46:32 +0000 (00:46 +0000)]
Changes for reading input files in MGC version

9 years agomore implementation for the inference: propagating relations of callee parameters...
yeom [Mon, 7 May 2012 00:09:43 +0000 (00:09 +0000)]
more implementation for the inference: propagating relations of callee parameters to the caller's lattice

9 years agorun-doj-validation-test.sh: a single script that performs validation tests for all...
yeom [Fri, 4 May 2012 02:04:30 +0000 (02:04 +0000)]
run-doj-validation-test.sh: a single script that performs validation tests for all DOJ benchmarks.

9 years agoFix the bug in the variable analysis: When we define nested tasks, the task liveness...
yeom [Thu, 3 May 2012 17:33:35 +0000 (17:33 +0000)]
Fix the bug in the variable analysis: When we define nested tasks, the task liveness analysis computes a wrong inset/outset. The new analysis computes liveness for each task and keeps the local view of liveness rather than doing the global liveness computation and taking  special care with nested task enter/exit nodes.

9 years agoFix the thread safe problem
jzhou [Thu, 3 May 2012 17:31:29 +0000 (17:31 +0000)]
Fix the thread safe problem

9 years agoFix the thread safe problem
jzhou [Thu, 3 May 2012 17:18:22 +0000 (17:18 +0000)]
Fix the thread safe problem

9 years agoChanges for galois
jzhou [Thu, 3 May 2012 01:31:23 +0000 (01:31 +0000)]
Changes for galois

9 years agoFix: need to keep the number of allocation site for the heap examiner. Somehow the...
yeom [Thu, 3 May 2012 00:38:20 +0000 (00:38 +0000)]
Fix: need to keep the number of allocation site for the heap examiner. Somehow the code that assigns the alloc# to the corresponding variable was commented out. Toggle the comment. Now the Barneshut works fine.

9 years agofixes to remove compilation warnings. now DOJ works fine with the Voronoi.
yeom [Wed, 2 May 2012 17:34:29 +0000 (17:34 +0000)]
fixes to remove compilation warnings. now DOJ works fine with the Voronoi.

9 years agofix: the return value declarations were missing in some method declarations in the...
yeom [Wed, 2 May 2012 17:33:38 +0000 (17:33 +0000)]
fix: the return value declarations were missing in some method declarations in the LinkedList class. so curious about how it could work well without having a compilation error.

9 years agobug fix: The result of the pointer analysis is broken when it tries to do something...
yeom [Wed, 2 May 2012 00:32:02 +0000 (00:32 +0000)]
bug fix: The result of the pointer analysis is broken when it tries to do something for a flat literal node. Since the modeling of a flat literal node is only required for the additional runtime check which verifies the allocation site of objects pointed to(+ it has not yet fully implemented), no problem to turn it off. Turn back to the same way of the OOPSLA DOJ version.

9 years agochanges on the SJava inference
yeom [Mon, 30 Apr 2012 17:16:35 +0000 (17:16 +0000)]
changes on the SJava inference

9 years agomore changes.
yeom [Fri, 20 Apr 2012 00:21:04 +0000 (00:21 +0000)]
more changes.

9 years agochanges.
yeom [Thu, 19 Apr 2012 00:48:21 +0000 (00:48 +0000)]
changes.

9 years agochanges.
yeom [Mon, 16 Apr 2012 19:17:09 +0000 (19:17 +0000)]
changes.

9 years agostart implementing basic approach
yeom [Tue, 10 Apr 2012 22:48:07 +0000 (22:48 +0000)]
start implementing basic approach

9 years agothe parallel implementation doesn't achieve much because there isn't enough work...
jjenista [Mon, 26 Mar 2012 23:19:38 +0000 (23:19 +0000)]
the parallel implementation doesn't achieve much because there isn't enough work to do

9 years agochanges for galois
jzhou [Fri, 23 Mar 2012 02:08:20 +0000 (02:08 +0000)]
changes for galois

9 years agochanges on inference
yeom [Thu, 22 Mar 2012 18:44:29 +0000 (18:44 +0000)]
changes on inference

9 years agoadd a new test case for inference
yeom [Thu, 22 Mar 2012 18:40:04 +0000 (18:40 +0000)]
add a new test case for inference

9 years agochanges and data/eval files for new evaluations
yeom [Wed, 21 Mar 2012 22:12:21 +0000 (22:12 +0000)]
changes and data/eval files for new evaluations

9 years agoImplement Thread.getThreadLocals() and Thread.currentThread() in MGC version
jzhou [Wed, 21 Mar 2012 12:17:41 +0000 (12:17 +0000)]
Implement Thread.getThreadLocals() and Thread.currentThread() in MGC version

9 years agoraw numbers from error injection evaluations
yeom [Fri, 9 Mar 2012 02:59:02 +0000 (02:59 +0000)]
raw numbers from error injection evaluations

9 years agoraw evaluation numbers for the mp3decoder
yeom [Wed, 7 Mar 2012 18:45:57 +0000 (18:45 +0000)]
raw evaluation numbers for the mp3decoder

9 years agoadd batch-mode script
yeom [Tue, 6 Mar 2012 02:27:32 +0000 (02:27 +0000)]
add batch-mode script

9 years agochange example for now...
bdemsky [Fri, 24 Feb 2012 22:30:21 +0000 (22:30 +0000)]
change example for now...