ATBECHDEDKESFRGBGRITLILUNLSEMCPTIESILTLVFIROMKCYALTRBGCZEEHUPLSK..HRIS..MTNORS..SM..................J2.0.21 - 2999001/03483768CORRECTED EUROPEAN PATENT SPECIFICATIONB8B120230809W173deBibliographieenBibliographyfrBibliographieEP18205375.1201811092019111520210205enenen20171580967620171110US2023080920233220190515201920202306212023252023020220230809202332G06F 21/57 20130101AFI20190117BHEP G06F 11/36 20060101ALI20190117BHEP G06F 11/3604 20130101 FI20221014BHEP G06F 21/577 20130101 LI20190516BHEP G06F2221/033 20130101 LA20190516BHEP deSTATISCHE PROGRAMMANALYSE EINES TEILSOFTWAREPROGRAMMSenSTATIC PROGRAM ANALYSIS OF A PARTIAL SOFTWARE PROGRAMfrANALYSE DE PROGRAMME STATIQUE D'UN PROGRAMME LOGICIEL PARTIELUS-A1- 2013 152 154US-B1- 8 869 286Anonymous: "Symbolic execution", , 2 November 2017 (2017-11-02), XP055542157, Retrieved from the Internet: URL:https://en.wikipedia.org/w/index.php?t itle=Symbolic_execution&oldid=808290873 [retrieved on 2019-01-15]Anonymous: "Concolic testing", , 19 September 2017 (2017-09-19), XP055542240, Retrieved from the Internet: URL:https://en.wikipedia.org/w/index.php?t itle=Concolic_testing&oldid=801478181 [retrieved on 2019-01-15]ZHEMIN YANG ET AL: "AppIntent", COMPUTER & COMMUNICATIONS SECURITY, ACM, 2 PENN PLAZA, SUITE 701 NEW YORK NY 10121-0701 USA, 4 November 2013 (2013-11-04), pages 1043-1054, XP058034052, DOI: 10.1145/2508859.2516676 ISBN: 978-1-4503-2477-9MALTON, Andrew Jamesc/o BlackBerry Limited 2200 University Avenue EastWaterloo, Ontario N2K 0A7CAWALENSTEIN, Andrewc/o BlackBerry Limited 2200 University Avenue EastWaterloo, Ontario N2K 0A7CAMalikie Innovations Limited102000019212326EPThe Glasshouses GH2 92 Georges Street LowerDun Laoghaire, Dublin A96 VR66IEMERH-IP Matias Erny Reichl Hoffmann Patentanwälte PartG mbB101060911Paul-Heyse-Strasse 2980336 MünchenDEALATBEBGCHCYCZDEDKEEESFIFRGBGRHRHUIEISITLILTLULVMCMKMTNLNOPLPTRORSSESISKSMTR