Review of path branch obfuscation by Pu GENG, Yuefei ZHU

Subjects: Get full text

Program state optimal method based on variable symbolic relation analysis by Xi GUO, Pan WANG

Subjects: Get full text

Symbolic execution optimization method based on input constraint by Sunlyu WANG, Yuqi LIN, Qiusong YANG, Mingshu LI

Subjects: “…symbolic execution…”
Get full text

Metrics for code obfuscation based on symbolic execution and N-scope complexity by Yuqiang XIAO, Yunfei GUO, Yawen WANG

Subjects: Get full text

Software patch comparison technology through semantic analysis on function by Yan CAO, Long LIU, Yu WANG, Qingxian WANG

Subjects: Get full text

Symbolic execution based control flow graph extraction method for Android native codes by Hui-ying YAN, Zhen-ji ZHOU, Li-fa WU, Zheng HONG, He SUN

Subjects: Get full text

Security protocol code analysis method combining model learning and symbolic execution by Xieli ZHANG, Yuefei ZHU, Chunxiang GU, Xi CHEN

Subjects: Get full text

Research on construction of conditional exception code used in branch obfuscation by Pu GENG, Yuefei ZHU

Subjects: Get full text