Constraint Discovery on F-Droid benchmark
18Analysis Time (sec)RECON
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
| RECONApp Category=Gaming, Target Method Type=Network Request, Backbone=GPT-4o2026.06 | 18 | — | — | |
| RECONApp Category=Utility, Target Method Type=Permission Check, Backbone=GPT-4o2026.06 | 22 | — | — | |
| RECONApp Category=Productivity, Target Method Type=Menu Event Handler, Backbone=GPT-4o2026.06 | 24 | — | — | |
| RECONAggregation=Average, Backbone=GPT-4o2026.06 | 28 | 80 | — | |
| RECONApp Category=Financial, Target Method Type=SMS Verification, Backbone=GPT-4o2026.06 | 31 | — | — | |
| RECONApp Category=Social Media, Target Method Type=Location Access, Backbone=GPT-4o2026.06 | 45 | — | — | |
| angrApp Category=Utility, Target Method Type=Permission Check2026.06 | 98 | — | — | |
| angrApp Category=Productivity, Target Method Type=Menu Event Handler2026.06 | 114 | — | — | |
| angrApp Category=Gaming, Target Method Type=Network Request2026.06 | 156 | — | — | |
| angrAggregation=Average2026.06 | 163.8 | — | — | |
| angrApp Category=Financial, Target Method Type=SMS Verification2026.06 | 287 | — | — | |
| angrAggregation=Success Rate2026.06 | — | — | 80 | |
| RECONAggregation=Success Rate, Backbone=GPT-4o2026.06 | — | — | 100 |