issues
search
CROSSINGTUD
/
SPDS
Efficient and Precise Pointer-Tracking Data-Flow Framework
Eclipse Public License 2.0
41
stars
37
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
False negative with basic if-branching
#56
SvenEV
closed
6 years ago
3
Added call to 'BoomerangPretransformer.apply' to examples
#55
SvenEV
closed
6 years ago
0
False positive for Exception flows
#54
johspaeth
closed
4 years ago
0
Index +1 shift in Strong Update
#53
johspaeth
closed
5 years ago
0
Put all tests results into subfolders of shippable/testresults
#52
mbruns42
closed
6 years ago
3
Demand driven icfg reset
#51
mbruns42
closed
6 years ago
1
Closes #47
#50
johspaeth
closed
6 years ago
0
Change folder structure in WPDS to fit maven standard
#49
mbruns42
closed
6 years ago
0
Inhibit download output on shippable
#48
mbruns42
closed
6 years ago
0
Access Path test fails as of unbalanced returns
#47
johspaeth
closed
6 years ago
0
Two Socket test fail and are unsound
#46
johspaeth
closed
4 years ago
0
Added a test case for iterator
#45
johspaeth
closed
6 years ago
0
Object sensitivity
#44
johspaeth
closed
6 years ago
0
More efficient Point of Aliasing handling
#43
johspaeth
closed
6 years ago
0
Tests for WPDS and SynchronizedPDS not executed by maven build
#42
mbruns42
closed
6 years ago
3
Separate surefire reports in shippable directory
#41
mbruns42
closed
6 years ago
0
Set badge to job representing master
#40
mbruns42
closed
6 years ago
0
Disable releases for soot-snapshot and snapshots for soot-release
#39
mbruns42
closed
6 years ago
1
Remove clean and surefire:test from maven command
#38
mbruns42
closed
6 years ago
0
Make snapshot versions depend on snapshot versions of other modules
#37
mbruns42
closed
6 years ago
1
Turn versions into snapshot versions
#36
mbruns42
closed
6 years ago
0
Jenkins is adding the boomerangPDS tests to the idealPDS tests
#35
mbruns42
closed
6 years ago
7
Fix shippable command and remove testDefault from ideaPDS
#34
mbruns42
closed
6 years ago
0
Remove PathExpression as submodule and make it maven dependency
#33
mbruns42
closed
6 years ago
2
Mix of snapshot and release versions
#32
mbruns42
closed
6 years ago
3
Add profile for small test set that is active by default
#31
mbruns42
closed
6 years ago
0
Backward enter call
#30
johspaeth
closed
6 years ago
0
TIMEOUT of shippable
#29
johspaeth
closed
6 years ago
2
Execute long running tests weekly
#28
johspaeth
closed
6 years ago
2
Imprecision of aliasing query
#27
johspaeth
closed
6 years ago
0
Minor efficiency fixes
#26
johspaeth
closed
6 years ago
0
Remove duplicated test
#25
mbruns42
closed
6 years ago
0
Document the usage of the visualisation
#24
johspaeth
closed
5 years ago
0
Retrieving all results of a solver is inefficient
#23
johspaeth
closed
6 years ago
0
Visualization: Output is really slow
#22
johspaeth
closed
4 years ago
1
Visualization: Draw flow edges in graph
#21
johspaeth
closed
6 years ago
0
Add slim test set for ci
#20
mbruns42
closed
6 years ago
1
Get different class path depending on IDE
#19
mbruns42
closed
6 years ago
1
Missing artifact de.fraunhofer.iem:PathExpression:jar:1.0.0:compile
#18
oggboy
closed
6 years ago
4
Fixing star and concat behavior. Also removes epsilon.
#17
mbenz89
closed
6 years ago
0
Bug fix
#16
mbenz89
closed
6 years ago
0
add getters in AccessPath and Field
#15
linghuiluo
closed
6 years ago
0
Each forward query must have its own scope (visitable methods)
#14
johspaeth
closed
6 years ago
0
Implement Null Points of Aliasing to be more precise
#13
johspaeth
closed
4 years ago
0
Visualization
#12
johspaeth
closed
6 years ago
0
Static Field Flows
#11
johspaeth
closed
6 years ago
0
TamiFlex to analyse dacapo
#10
johspaeth
closed
6 years ago
0
Proper handling of Casts
#9
johspaeth
closed
6 years ago
0
Backward Return POI
#8
johspaeth
closed
6 years ago
0
Inner class test cases & access method
#7
johspaeth
closed
7 years ago
0
Previous
Next