issues
search
cvs77
/
jchord
Automatically exported from code.google.com/p/jchord
1
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
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
null-pointer exception in chord.util.ByteBufferedFile
#5
GoogleCodeExporter
closed
9 years ago
1
Next