pascal-lab/Tai-e

Are you using Tai-e?

silverbullettt opened this issue · 9 comments

silverbullettt commented

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 commented

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

YaphetsH commented

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 commented

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

Liyw979 commented

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

jiecse commented

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 commented

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

oicu0619 commented

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

owhvayifuqq commented

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 commented

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