No return value of the methods exist in the RIFL output type

[AmrAshraf]

Hello There,

While i am using the rifl.xml file as input for flowdroid,i don't found the return value behind the class and method elements in the XML representation. Is it under developing or this part is really missing.

Thanks.

[StevenArzt]

A Java method signature is unique even if the return value is not specified. There may not be two methods with the same name and parameter list, but different return values. Soot's method signatures do include the return value, but strictly speaking, this is not necessary for the specification to be unambiguous.