Skip to content
This repository has been archived by the owner on Jan 12, 2022. It is now read-only.

Issues: seerhein-lab/jic

10 Open 48 Closed
10 Open 48 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Adapt visitINVOKESPECIAL and visitINVOKEINTERFACE such that only non-alien methods are evaluated.
#59 opened Apr 4, 2014 by oliverhaase
implement getRuntimeType() in BaseVisitor.
#58 opened Apr 4, 2014 by oliverhaase
Adapt checks in CtorArgsAreCopied and FieldNotPublished to take immutability of fields into account.
#57 opened Feb 25, 2014 by oliverhaase
Subdivide EvaluationResult
#55 opened Feb 13, 2014 by oliverhaase
For heaps that are stored after ctorArgsAreCopied, collect garbage before storage
#53 opened Feb 12, 2014 by oliverhaase
Add constraints to paths that are executed conditionally.
#39 opened Dec 3, 2013 by oliverhaase
concurrent evaluation
#38 opened Nov 26, 2013 by oliverhaase
Add real values to primitive types
#37 opened Nov 26, 2013 by oliverhaase
exception handling
#36 opened Nov 26, 2013 by oliverhaase
Analyse static and non-static methods if they modify/publish one of their params.
#29 opened Sep 23, 2013 by oliverhaase
ProTip! What’s not been updated in a month: updated:<2024-11-12.