Are you using Tai-e?

[silverbullettt]

The Purpose of This Issue

We are consistently eager to learn more about Tai-e users, understand what led you to choose our framework, attentively address your requirements, and help promote your work on program analysis.

• We often receive inquiries from those wondering about Tai-e's utilization.
• We highly value your input on desired Tai-e features and usage scenarios, and we are keen to hear your suggestions.
• We would like to help promote your work or open-source tools on program analysis (if you have used Tai-e to develop a tool that solves a specific problem, we also want to help promote it, making it accessible to other users who may find it useful).

What We Would Like To Hear From You

We kindly ask that you submit a comment in this issue to provide the following information:

• Your organization/company
• Your organization's website (optional)
• Your country/region
• Your contact info: blog/personal website, email or Twitter (at least one)
• Your usage scenario for Tai-e, e.g., conducting research or developing program analysis tools based on Tai-e, referring to Tai-e for implementing my own program analysis tools, etc.

For example:

Organization/Company: Nanjing University
Website: https://www.nju.edu.cn/
Country/Region: China
Contact: https://cs.nju.edu.cn/tiantan, tiantan@nju.edu.cn
Usage scenario: Using Tai-e to
(1) conducting research in program analysis for addressing XXX problem,
(2) developing XXX program analysis tools,
(3) referring to Tai-e for implementing our own XXX program analysis frameworks and tools,
etc.

We will pay attention to this issue.
Whether you are from a company or a university, we encourage you to leave your usage information of Tai-e.
We will prioritize addressing the problems and needs of users who leave usage information in this issue.

[LFYSec]

Organization/Company: Fudan University
Country/Region: China
Contact: 23110240120@m.fudan.edu.cn
Usage scenario: Using Tai-e to develop static analysis tools

[YaphetsH]

Organization/Company: Meituan Mobile Security Team
Country/Region: China
Contact: Yaphetsh@outlook.com
Usage scenario: Using Tai-e to Mobile Security Research and Development

[Peteling]

Organization/Company: Personal
Country/Region: Singapore
Contact: voidness1023@gmail.com
Usage scenario: Using Tai-e to develop static analysis tools

[Liyw979]

Organization/Company: Huawei
Country/Region: China
Contact: liyiwei14@huawei.com
Usage scenario: referring to Tai-e for implementing my own program analysis tools

[jiecse]

Organization/Company: ByteDance
Country/Region: China
Contact: liujie.jl@bytedance.com
Usage scenario: referring to the design from tai-e to develop our own static analysis framework

[DeReWu]

Organization/Company: AntGroup
Country/Region: China
Contact: wudiyu.wdy@antgroup.com
Usage scenario: referring to Tai-e for our own program analysis platform

[oicu0619]

Organization/Company: Siemens
Country/Region: China
Contact: zhe-wang@siemens.com
Usage scenario: using Tai-e for tainted analysis and bug hunting

[mi1ko]

Organization/Company: University of Chinese Academy of Sciences
Country/Region: China
Contact: owhvayifuqq@gmail.com
Usage scenario: Using Tai-e to extract useful information, such as call graphs and so on

[littlematch59]

Organization/Company: ZheJiang University
Country/Region: China
Contact: wuzhiyao@zju.edu.cn
Usage scenario: Using Tai-e for taint analysis and generating call graph.

[YunFy26]

Organization/Company: Southeast University
Country/Region: China
Contact: 220235339@seu.edu.cn
Usage scenario: Using Tai-e to develop a tool for analyzing Spring projects.

[anabioticsoul]

Organization/Company: Nankai University
Country/Region: China
Contact: yuhao.liu@mail.nankai.edu.cn
Usage scenario: Using Tai-e for
(1) learning and implementing custom static analysis,
(2) conducting research in software misconfigurations for addressing detecting/diagnosing/validation problem.