Simplest inference of `@Contract(pure=true)` - Githubissues

ilya-klyuchnikov / faba

Fast Bytecode Analysis

15 stars 1 forks source link

Simplest inference of `@Contract(pure=true)` #35

Closed ilya-klyuchnikov closed 9 years ago

ilya-klyuchnikov commented 10 years ago

This simple analysis infers @Contract(pure=true) only if the method doesn't have following instructions:

PUTFIELD
PUTSTATIC
IASTORE
LASTORE
FASTORE
DASTORE
AASTORE
BASTORE
CASTORE
SASTORE
INVOKEDYNAMIC
INVOKEINTERFACE

Instructions INVOKESPECIAL, INVOKESTATIC, INVOKEVIRTUAL are processed by transitivity.