siis/ic3 issues and pull requests

#37 - Exception in thread "main" java.lang.ArrayIndexOutOfBoundsException: 0

Issue - State: open - Opened by Sandm-HY about 2 years ago

#36 - The website provided is no longer accessible

Issue - State: open - Opened by ZERO-A-ONE over 2 years ago - 2 comments

#35 - NullPointerException

Issue - State: open - Opened by LeeHaofeng over 2 years ago - 1 comment

#34 - ic3-0.2.0.jar can not run

Issue - State: closed - Opened by VVVVlu about 3 years ago - 1 comment

#33 - How to interpret ic3 results

Issue - State: open - Opened by leslieducy over 4 years ago

#32 - Fix: null manifest if not using db or protobuf output

Pull Request - State: open - Opened by JordanSamhi almost 5 years ago

#31 - obtain Dare

Issue - State: open - Opened by mtileria about 5 years ago - 1 comment

#30 - Wrong ExitComponents in results

Issue - State: open - Opened by mehrant95 over 5 years ago

#29 - `Ran into a constructor generation loop` when trying to generate ICC model

Issue - State: open - Opened by ShengliangD over 5 years ago

#28 - Unresolved strings since aapt2

Issue - State: open - Opened by FoelliX over 6 years ago

#27 - Missing IPCs

Issue - State: open - Opened by ReyhanJB over 7 years ago - 6 comments

#26 - Tutorial or any guide on how to use IC3 and its working

Issue - State: open - Opened by fahad-ibrar over 7 years ago - 1 comment

#25 - What is the exporting folder "sootOutput" ?

Issue - State: closed - Opened by yieux almost 8 years ago - 1 comment
Labels: question

#24 - Is this a bug in ic3-0.2.0 ? The same apk can be solved well in ic3-0.1.0

Issue - State: closed - Opened by snowcool almost 8 years ago - 1 comment

#23 - Can not find edu.psu.cse.siis.ic3.Ic3Data;

Issue - State: closed - Opened by snowcool almost 8 years ago - 2 comments

#22 - ic3-0.2.0 can not parse intent in the callback method in the layout XML files.

Issue - State: open - Opened by g252691665 almost 8 years ago - 4 comments

#21 - IC3 gives me the Manifets file information only

Issue - State: open - Opened by HammadMahmoud over 8 years ago - 11 comments

#20 - IC3 returns NullPointerException on a simple app

Issue - State: closed - Opened by HammadMahmoud over 8 years ago

#19 - Analysis Exception

Issue - State: closed - Opened by wenhuizhang over 8 years ago - 1 comment

#18 - IC3 failed in Windows soot.CompilationDeathException:Couldn't resolve clas spath entry

Issue - State: closed - Opened by peopleqinlei over 8 years ago - 2 comments

#17 - The results of IC3

Issue - State: open - Opened by PhD-5 over 8 years ago - 12 comments

#16 - The "KNOWN-BUG"

Issue - State: open - Opened by jxnu707 over 8 years ago - 3 comments

#15 - Exception in thread "main" java.lang.NullPointerException

Issue - State: open - Opened by arnavbhartiya almost 9 years ago - 4 comments
Labels: bug, duplicate

#14 - questions regarding coal modeling

Issue - State: closed - Opened by hongxuchen almost 9 years ago - 2 comments

#13 - Fail to launch IC3

Issue - State: closed - Opened by jxnu707 almost 9 years ago - 8 comments

#12 - Exception in thread "main" java.lang.NullPointerException

Issue - State: closed - Opened by Mac85 almost 9 years ago - 1 comment

#11 - How to use Epicc to watch Intent values?

Issue - State: closed - Opened by ZhengqiaoLi almost 9 years ago - 2 comments

#10 - How to read the result

Issue - State: closed - Opened by Mac85 about 9 years ago - 3 comments

#9 - Run IC3

Issue - State: closed - Opened by Mac85 about 9 years ago - 3 comments

#8 - Where is the "/res/icc.cmodel"?

Issue - State: closed - Opened by fripSide about 9 years ago - 2 comments

#7 - IC3 is unable to find startActivity call

Issue - State: closed - Opened by vitaliiavdiienko over 9 years ago - 1 comment

#6 - Extracted dbName to a command line parameter (-dbName cc)

Pull Request - State: closed - Opened by vitaliiavdiienko over 9 years ago - 1 comment

#5 - A huge scalability problems of IC3

Issue - State: closed - Opened by vitaliiavdiienko over 9 years ago - 3 comments

#4 - Reason for using a hardcoded database name "cc"

Issue - State: closed - Opened by vitaliiavdiienko over 9 years ago - 4 comments
Labels: enhancement

#3 - Build of IC3 failed