pascal-lab / Tai-e

An easy-to-learn/use static analysis framework for Java
https://tai-e.pascal-lab.net/docs/index.html
GNU Lesser General Public License v3.0
1.45k stars 175 forks source link

tain transfers config problem #116

Open linlinhan-git opened 2 months ago

linlinhan-git commented 2 months ago

Overall Description

Hello, teacher! When will the configuration of tai-e stain transfer be released? When I saw the video yesterday, you said that there are currently thousands of stain transfer configurations, and the company has just started to involve this direction of sensitive leakage, and it is still under investigation

Expected Behavior

publish tain transfers config

Current Behavior

Technical research

Tai-e Arguments

Click here to see Tai-e Options ```yaml {{The content of 'output/options.yml' file}} ```
Click here to see Tai-e Analysis Plan ```yaml {{The content of 'output/tai-e-plan.yml' file}} ```

Tai-e Log

Click here to see Tai-e Log ``` {{The content of 'output/tai-e.log' file}} ```

Additional Information

No response

zhangt2333 commented 1 month ago

The taint config rules have been collected, the release is still pending as there are some remaining tasks to complete. We appreciate your patience in the meantime. 😊