pag-lab jchord issues - Githubissues

pag-lab / jchord

Automatically exported from code.google.com/p/jchord

0 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Patch for /trunk/main/src/chord/analyses/typestate/metaback/MetaBackAnalysis.java

#55 GoogleCodeExporter opened 9 years ago
0
Javassist producing corrupted class files (under Mantis)

#54 GoogleCodeExporter opened 9 years ago
0
unsound handling of multi-dimensional arrays in Chord's pointer analyses

#53 GoogleCodeExporter opened 9 years ago
0
wrong analysis output

#52 GoogleCodeExporter opened 9 years ago
0
Inconsistent documentation in slides from PLDI'11

#51 GoogleCodeExporter closed 9 years ago
1
javassist does not remove trailing whitespaces from classpath

#50 GoogleCodeExporter opened 9 years ago
0
build.xml with run target to delivered with binary download

#49 GoogleCodeExporter closed 9 years ago
1
substitute/rewrite calls

#48 GoogleCodeExporter opened 9 years ago
1
spellcheck for chord

#47 GoogleCodeExporter opened 9 years ago
0
Construct scope while running dynamic analysis?

#46 GoogleCodeExporter opened 9 years ago
1
v2.0a chord.scope.kind=cha documented but not allowed

#45 GoogleCodeExporter opened 9 years ago
3
Extra entry points

#44 GoogleCodeExporter opened 9 years ago
2
provide easy way to get local variable name in java source code corresponding to Register

#43 GoogleCodeExporter opened 9 years ago
0
log clock time at which a task starts

#42 GoogleCodeExporter closed 9 years ago
2
chord-2.0a not compiling

#41 GoogleCodeExporter opened 9 years ago
3
make chord.scope.kind=dynamic to only treat dynamically reachable methods as reachable

#40 GoogleCodeExporter opened 9 years ago
0
[deleted issue]

#39 GoogleCodeExporter closed 9 years ago
0
[deleted issue]

#38 GoogleCodeExporter closed 9 years ago
0
[deleted issue]

#37 GoogleCodeExporter closed 9 years ago
0
[deleted issue]

#36 GoogleCodeExporter closed 9 years ago
0
[deleted issue]

#35 GoogleCodeExporter closed 9 years ago
0
[deleted issue]

#34 GoogleCodeExporter closed 9 years ago
0
[deleted issue]

#33 GoogleCodeExporter closed 9 years ago
0
[deleted issue]

#32 GoogleCodeExporter closed 9 years ago
0
[deleted issue]

#31 GoogleCodeExporter closed 9 years ago
0
[deleted issue]

#30 GoogleCodeExporter closed 9 years ago
0
Deadlock not found

#29 GoogleCodeExporter closed 9 years ago
2
support load-time bytecode instrumentation

#28 GoogleCodeExporter closed 9 years ago
2
joeq generates incorrect quadcode

#27 GoogleCodeExporter opened 9 years ago
0
Domain of string constants

#26 GoogleCodeExporter closed 9 years ago
1
Chord on chord

#25 GoogleCodeExporter opened 9 years ago
1
ClassHierarchy doesn't handle indirectly referenced interfaces

#24 GoogleCodeExporter closed 9 years ago
4
Better thread modeling

#23 GoogleCodeExporter closed 9 years ago
4
severe performance problem in buddy/JavaBDD function for loading BDD from disk

#22 GoogleCodeExporter closed 9 years ago
3
put continue-after-error logic from DynamicAnalysis in dynamic scope construction algorithm as well

#21 GoogleCodeExporter opened 9 years ago
0
reduce size of domain P by removing unnecessary *CHECK quads (like NULL_CHECK)

#20 GoogleCodeExporter closed 9 years ago
1
support static analysis of loadClass/newInstance/getMethod/invoke reflection sequence

#19 GoogleCodeExporter opened 9 years ago
0
variables v1,...,vn in v = phi(v1,...,vn) sometimes have null type although v has non-null type.

#18 GoogleCodeExporter closed 9 years ago
1
javassist rejects class files whose size exceeds 65535 after instrumentation

#17 GoogleCodeExporter closed 9 years ago
1
-Dchord.print.class prints all classes

#16 GoogleCodeExporter closed 9 years ago
1
handle dynamic analysis of programs that crash or don't halt

#15 GoogleCodeExporter closed 9 years ago
2
document behavior of deleting domain from relation view

#14 GoogleCodeExporter opened 9 years ago
0
support java proxy classes

#13 GoogleCodeExporter opened 9 years ago
0
reusing instrumented code

#12 GoogleCodeExporter opened 9 years ago
0
hashCode implementation of Ctxt and other classes

#11 GoogleCodeExporter opened 9 years ago
0
JVM crashes when running dynamic analysis ("dynamic-loop-java")

#10 GoogleCodeExporter opened 9 years ago
1
Win platforms do not support creating named pipes via "mkfifo"

#9 GoogleCodeExporter opened 9 years ago
4
agents written for certain JVMs have limited buffer for agent options

#8 GoogleCodeExporter opened 9 years ago
0
instrumentation can cause class file size to go over 65535

#7 GoogleCodeExporter closed 9 years ago
1
incorrect semantics of present() method in InstrScheme.EventFormat

#6 GoogleCodeExporter closed 9 years ago
1