qlbdsc

Results 3 comments of


                                            qlbdsc

Exception in thread "main" UnsolvedSymbolException{context='null', name='AbstractTestCase', cause='null'}

Hey @felixmaechtle @diohabara , Thanks for your effort. Did this problem is fixed?

How to get PDG in commandline

hi guys, have you found a method to generate pdg? thanks

Backward slicing code example with Soot

hi @Monilnarang have you found a method to generate the backwardslices? thanks