viperproject sample issues

viperproject / sample

Other

0 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Interprocedural static analysis - Final pull-request

#105 viper-admin opened 4 years ago
0
Inference of Quantified Permissions

#95 viper-admin opened 4 years ago
0
Move QP Inference to Upstream Repository

#106 viper-admin closed 4 years ago
0
[Sample-Silver] Handling runtime exceptions in inference

#91 viper-admin opened 7 years ago
0
[silver] locations of `Inference omitted` errors should point to the specifications that are to blame, not the body of the method.

#90 viper-admin closed 4 years ago
3
[Silver] inference should be done on method-level granularity

#89 viper-admin opened 7 years ago
0
Refactoring, Specification Inference & JSON Export

#104 viper-admin closed 4 years ago
24
Incorrect Handling of Overflows in IntegerInterval

#88 viper-admin closed 4 years ago
2
[Alias Analysis] Bug in Materialization

#87 viper-admin closed 4 years ago
2
Call strings (forward and backward)

#103 viper-admin closed 4 years ago
20
ctx-insensitive backward analysis

#102 viper-admin closed 4 years ago
17
Context Insensitive Forward Analysis

#101 viper-admin closed 4 years ago
29
ProgramResult

#100 viper-admin closed 4 years ago
1
Silver compatibility

#99 viper-admin closed 4 years ago
0
Cleanup logging dependencies and fix trivial interproc analysis bug

#98 viper-admin closed 4 years ago
2
Fix conflicts betweens Sample's and Silver's (new) logging libraries

#97 viper-admin closed 4 years ago
1
Trivial Interprocedural Analysis

#96 viper-admin closed 4 years ago
2
Introduce new expression for function calls

#94 viper-admin closed 4 years ago
1
Throw an exception on unknown command in State

#93 viper-admin closed 4 years ago
1
[Silver Permission Inference] Problem with Program Points

#86 viper-admin opened 8 years ago
3
Inference doesn't work with new statement

#85 viper-admin closed 4 years ago
4
Some Viper AST nodes are not supported by the translation

#84 viper-admin opened 8 years ago
0
[Silver Permission Inference] Weird results for some existing specifications.

#83 viper-admin opened 8 years ago
1
[Silver] wrong CFG construction for nested loops

#82 viper-admin closed 4 years ago
2
[Silver Permission Inference] testing expected vs inferred preconditions

#81 viper-admin closed 4 years ago
3
[Silver Permission Inference] Support inferred specifications.

#80 viper-admin closed 4 years ago
3
[Silver Permission Inference] Inferred specifications are not always self framing

#79 viper-admin closed 4 years ago
5
[Silver Permission Inference] Detecting inference of too much permission.

#78 viper-admin closed 4 years ago
3
[Silver Permission Inference] Existing invariants may cause inference of infinite permission.

#77 viper-admin opened 8 years ago
0
sil.ProgramExtender is never used

#76 viper-admin opened 8 years ago
1
[Silver Permission Inference] too much permission in precondition

#75 viper-admin closed 4 years ago
7
Jeromtagons is unsound for floating point numbers due to rounding errors

#74 viper-admin opened 8 years ago
2
[Alias Analysis] the must alias analysis is inconsistent with the may alias analysis

#73 viper-admin closed 4 years ago
3
[Alias Analysis] node materialization happens too late

#72 viper-admin closed 4 years ago
3
Reuse code for float and integer octagons

#71 viper-admin closed 4 years ago
2
Octagons: Bottom after removing variables

#70 viper-admin closed 4 years ago
4
Octagons: Implement getStringOfId, getPossibleConstants, getConstraints

#69 viper-admin closed 4 years ago
3
using Sample in IDE causes dublicated binding error

#68 viper-admin closed 4 years ago
4
Sample crashes while running on Extended Program

#67 viper-admin closed 4 years ago
2
[Silver Permission Inference] Imprecision in the must alias analysis

#66 viper-admin opened 8 years ago
0
[Silver Permission Inference] Current program point is not set properly

#65 viper-admin closed 4 years ago
4
[Silver Permission Inference] Permission inference ignores conditions

#64 viper-admin opened 8 years ago
2
[Silver Permission Inference] Inferring too much permission for tests

#63 viper-admin closed 4 years ago
5
Inconsistent handling of field accesses in forward semantics and backward semantics

#62 viper-admin closed 4 years ago
4
[Silver Permission Inference] Comparison of heap nodes is broken

#61 viper-admin closed 4 years ago
2
alias analysis + numerical domain

#60 viper-admin opened 8 years ago
0
[Silver Permission Inference] Possible bug in mustEvaluatePath

#59 viper-admin closed 4 years ago
4
[Silver Permission Inference] no inference for accesses in tests

#58 viper-admin closed 4 years ago
5
[Silver Permission Inference] missing precondition

#57 viper-admin closed 4 years ago
3
May alias analysis invoked with empty path

#56 viper-admin closed 4 years ago
2