My favorites
▼
|
Sign in
pluralism
Modular object protocol checking for Java
Project Home
Wiki
Issues
Source
READ-ONLY: This project has been
archived
. For more information see
this post
.
Search
Search within:
All issues
Open issues
New issues
Issues to verify
for
Advanced search
Search tips
Subscriptions
List
Grid
75 issues of 75 issues shown
Rows:
None
Attachments
Blocked
BlockedOn
Blocking
Cc
Component
MergedInto
Milestone
Owner
Priority
Project
Reporter
Stars
Status
Type
Cols:
None
Attachments
Blocked
BlockedOn
Blocking
Cc
Component
MergedInto
Milestone
Owner
Priority
Project
Reporter
Stars
Status
Type
Cells:
Tiles
IDs
Counts
Loading...
1
Fixed
Need checkbox for turing on/off NIMBY
2
Fixed
NIMBY: Unpack within atomic check currently commented out!
3
Fixed
NIMBY: Currently only forgetting permissions on some of the node types
4
Fixed
Revise testing proceedure
5
Invalid
Simple NIMBY analysis throws frozen exception
6
Accepted
PLURAL: Warn user that they need frame permission to change state
7
Verified
Use ConsList where possible
8
Fixed
Can't get field permissions for unique receiver?
9
Fixed
Inner Classes: Not Really Supported, Throws Exceptions
10
Fixed
Tell user if there are parse errors in permission annotations!
11
Done
Allow for invariants based on object equality
12
Assigned
Check initializers of static fields
13
Assigned
For immutable permissions, make state guarantees and stateInfo interchangable.
14
Fixed
Handling of virtual permissions in constructors
15
Started
Lattice comparison and join issues
16
Assigned
releasedFrom attribute is ignored
17
Assigned
Unpacking does not purify invariants above root node
18
Assigned
Field read/assignment checks are not sufficient
19
Fixed
Re-enable state test checks after refactoring [r62]
20
Verified
State invariant handling needs refactoring
21
Assigned
Default permissions for un-annotated fields and methods
22
Fixed
Special treatment of borrowed objects
23
Started
Better local alias analysis
24
Assigned
Linear connectives in method pre- and post-conditions, and in invariants
25
Assigned
More flexible implication syntax, and support in invariants and methods
26
Assigned
Check @Param and @Release in method implementations; track parameters through invariants
27
Assigned
Check that marker states are indeed fixed through the object lifetime
28
Assigned
Default field values for not explicitly initialized fields
29
Assigned
Access inherited fields and fields of other objects than the reciever
30
Assigned
Reduce context fanout during packing / unpacking
31
Assigned
Keep track of named fraction instantiations
32
Started
Fraction statisfiability speedups
33
Assigned
Implicit method parameters
34
Assigned
Handling lists and arrays
35
Started
Borrowing annotation for getter result
36
Verified
Error reporting: Report available and needed permission to the user
37
Assigned
Flagging impossible code and unnecessary tests
38
Assigned
Array bounds checks and integer tracking
39
Assigned
Default null checks (optional)
40
Assigned
Correlated ifs
41
Assigned
Use exceptions / regular returns (also null etc.) to indicate states or even permissions
42
Assigned
Reference equality invariants / method pre-/post-conditions
43
Fixed
Dead variable treatment problems
44
Fixed
Check if fields mentioned in invariant annotations exist
45
New
dynamic state logic join too conservative
46
Fixed
Allow 'this' to be used in state invariants
47
Invalid
I can't store a field access permission in an invariant
48
Verified
Pure & Share invariants with stateInfo should be disalowed.
49
Duplicate
Check for assignment to fields of Pure/Immutable permissions
50
Fixed
Move utilities package into Crystal
51
Verified
Less conservative joins of existential fractions
52
Verified
Add state dimensions to GStateMachine model
53
Verified
Add state dimensions to view/edit part.
54
Verified
The view is a little jumpy when you select types/files
55
Verified
Remove "progress" dialog when drawing a state
56
Fixed
Label transitions with method names
57
Verified
Display transitions inherited from superclass
58
Fixed
Multi-Dimension State Transitions
59
Fixed
Add states that are only introduced on transitions
60
Verified
Show the full method signature on hover
61
Fixed
Plural should know that this != null
62
Verified
Can we have some more color?
63
WontFix
The arrows don't look so great...
64
Verified
Multiple perms on precondition where one is DISP_FIELDS results in missing permission
65
Verified
Implications with constraints aren't 'remembered'
66
Verified
Sync-or-swim sometimes does not require unpacking when it should
67
Accepted
Fiddle: Dynamic State Tests are not illustrated
68
Verified
Fiddle: Constructors
69
Verified
Misspelled permissions on @Params throw an exception, should be caught by the annotation checker
70
New
Field permission is lost when method argument contains method call
71
Verified
Sync: Unmapped Fields Get Warning
72
Invalid
Guarantee of sub state does not imply guarantee of super state
73
New
Infinite loop triggered in Plural/Crystal by defining an "alive" class state on an object
74
New
Calling a method that defines Varargs with no arguments results in a run-time exception.
75
Accepted
Calling private methods from static methods does not work
Powered by
Google Project Hosting