search

SQUARE-RG / Fax

Fair Android Explorer
20 stars 8 forks source link

Extra Values not generated #5

Closed yellowbyte closed 1 year ago

yellowbyte commented 1 year ago

Is there a problem with Fax's capability to identify Intent extra values or am I not running Fax correctly? On my end, I can use Fax to identify Intent action but just not any of the Intent extra values.

For example, the following code: Intent dis = getIntent(); if (dis.getStringExtra("str_extraa").startsWith("che")) { System.out.println("hello2"); initView(dis); }

The following Intent attributes is generated: null;;null;;null;;null;;String->str_extraa->999999999999999999999999999999999999999999999999999

And I noticed that 999999999999999999999999999999999999999999999999999 is the default value Fax uses (i.e., it does not come from Z3's output)

yellowbyte commented 1 year ago

Cross-referencing the paper, for extras, Fax identifies the key and type of the data item, not the value.