Karim Ali comments

Results 11 comments of


                                            Karim Ali

multiple main classes

Hi Zhenkai, Adding multiple main methods sounds like a nice enhancement to add to averroes. I have self-assigned this feature to myself. I don't think I'll get to it until...

Inner classes and methods are skipped in the creation of the organized-app jar

I feel this issues is related to #21 as well. I'll keep you posted when I start looking into both.

Callbacks to Inner-classes are skipped in the generated averroes-lib-class.jar

noted, and I will add to the list of issues that I will work on for the upcoming 1-2 weeks. Thanks @akshayutture for raising those issues! Much appreciated.

Runtime Exception because Soot could not find a method

hi @akshayutture. Is that the same output/error that you get for all those 60 benchmarks?

Runtime Exception because Soot could not find a method

Hi @akshayutture. Thanks for clarifying that. Issues 1 and 3 seem related, and I think I know how to fix them. I'll have some time to fix both in a...

Runtime Exception because Soot could not find a method

Thanks Akshay. I have some time to look into those issues over the next week or two. I'll keep you posted as I hopefully resolve them! Thanks for sharing the...

Add classes for building IDT and performing abstract interpretation.

hey @jdmpapin I was wondering if you had a chance to review this PR?

Add classes for building IDT and performing abstract interpretation.

@jdmpapin I was wondering if you had a chance to review this PR?

driver fails on basic mac Xcode project: `} expected` on sil_sope

@nekrich I'm really sorry that I missed the notification for this new issue! I know it's probably a bit too late, but it's better late than never. I will get...

Add 'type' advance-debug-var-attr to parser

Now that #91 has been merged, can you pull the latest updates from the main branch here for the checks to run properly. Once it passes these checks, I should...