Search results

Download link of type-inference-0.1.2.zip is broken!

Status: Open.

#9 In proganalysis/type-inference;

· anter-faree opened on Nov 4, 2017

Some question about jcrypt

Status: Open.

#8 In proganalysis/type-inference;

· dikdikM opened on Aug 23, 2017

Empty method name output for anonymous inner class with non-nullary constructor

auto-migrated

Priority-Medium

Type-Defect

Status: Open.

#7 In proganalysis/type-inference;

· GoogleCodeExporter opened on May 18, 2015

Androi Apps Results

auto-migrated

Priority-Medium

Type-Defect

Status: Open.

#5 In proganalysis/type-inference;

· GoogleCodeExporter opened on May 18, 2015

Reim-Infer chokes on static or block initializers

auto-migrated

Priority-Medium

Type-Defect

Status: Open.

#6 In proganalysis/type-inference;

· GoogleCodeExporter opened on May 18, 2015

Ana's conflict resolution algorithm

auto-migrated

Priority-Medium

Type-Defect

Status: Open.

#4 In proganalysis/type-inference;

· GoogleCodeExporter opened on May 18, 2015

Bug in special handling of Map structures like hashmap, request

auto-migrated

Priority-Medium

Type-Defect

Status: Open.

#2 In proganalysis/type-inference;

· GoogleCodeExporter opened on May 18, 2015

TODO LIST for Taint Analysis for Andoid Apps By Ana

auto-migrated

Priority-Medium

Type-Defect

Status: Open.

#1 In proganalysis/type-inference;

· GoogleCodeExporter opened on May 18, 2015