About Micans

[for-just-we]

📝 Overall Description

Hi, I recently read the latest Micans paper about Micro-Service program analysis but I don't see the code in the main branch. Is it available in main branch?

🎯 Expected Behavior

A guide for setup Micans

🐛 Current Behavior

I don't find the entrance to Micans

🔄 Reproducible Example

No response

⚙️ Tai-e Arguments

🔍 Click here to see Tai-e Options

{{The content of 'output/options.yml' file}}

🔍 Click here to see Tai-e Analysis Plan

{{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]

Thank you for your interest in MICANS. Currently, the refactoring of MICANS has not been completed (and has lower priority than our new frontend (#206)), so the code has not been pushed to the latest Tai-e. However, I believe the following resources will be helpful to you.

We have prepared an artifact to reproduce all experimental data presented in MICANS' paper. This artifact includes detailed documentation, as well as the source code of MICANS. The artifact can be downloaded from the following URL: https://doi.org/10.5281/zenodo.14043593.

[for-just-we]

Thank you for your interest in MICANS. Currently, the refactoring of MICANS has not been completed (and has lower priority than our new frontend (#206)), so the code has not been pushed to the latest Tai-e. However, I believe the following resources will be helpful to you.

We have prepared an artifact to reproduce all experimental data presented in MICANS' paper. This artifact includes detailed documentation, as well as the source code of MICANS. The artifact can be downloaded from the following URL: https://doi.org/10.5281/zenodo.14043593.

Thanks, great work. I notice in the paper you evaluate injection attacks and data leak detection with Micans. But I don't see the checkers in the codebase. Are the taint checkers integrated into Micans?

[zhangt2333]

Thanks, great work. I notice in the paper you evaluate injection attacks and data leak detection with Micans. But I don't see the checkers in the codebase. Are the taint checkers integrated into Micans?

When you say 'taint checkers,' are you referring to Taint Configuration?