复杂软件简化分析实验
实验按照对每个工具运行每个基准 RAZOR 获取镜像sudo docker pull chenxiong/razor:0.01 运行镜像sudo docker run --name container_name -d -it chenxiong/razor:0.01 更新razor仓库 替换debian源为阿里源sudo vim /etc/apt/sources.list deb http://mirrors.aliyun.com/debian/ buster main non-free contrib deb http://mirrors.aliyun.com/debian/ buster-updates main non-free contrib deb http://mirrors.aliyun...
Read more_1.png)
Software Debloating 论文阅读 （10）OCCAM-v2
@article{navas2022occam, title={OCCAM-v2: Combining Static and Dynamic Analysis for Effective and Efficient Whole-program Specialization: Leveraging scalable pointer analysis, value analysis, and dynamic analysis}, author={Navas, Jorge A and Gehani, Ashish}, journal={Queue}, volume={20}, number={5..
Read more_1.png)
Software Debloating 论文阅读 (7) BLADE
@article{aliblade, title={BLADE: Scalable Source Code Debloating Framework}, author={Ali, Muaz and Habib, Rumaisa and Gehani, Ashish and Rahaman, Sazzadur and Uzmi, Zartash} } BLADE: Scalable Source Code Debloating Framework 0 摘要 现有的源代码精简工具在动态云环境中应用时存在可扩展性低和运行时开销高的问题，其中实例会即时启动 （指明场景） 为了解决这一挑战，我们提出了BLADE，它利用常见的编码习惯和语言限制构建..
Read more_1.png)
Software Debloating 论文阅读 (5) DEBOP
@inproceedings{xin2020program, title={Program debloating via stochastic optimization}, author={Xin, Qi and Kim, Myeongsoo and Zhang, Qirun and Orso, Alessandro}, booktitle={Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: New Ideas and Emerging Results}, pages={65--68}, ..
Read more_1.png)
Software Debloating 论文阅读 (4) RAZOR
@inproceedings{qian2019razor, title={$\{$RAZOR$\}$: A framework for post-deployment software debloating}, author={Qian, Chenxiong and Hu, Hong and Alharthi, Mansour and Chung, Pak Ho and Kim, Taesoo and Lee, Wenke}, booktitle={28th USENIX security symposium (USENIX Security 19)}, pages={1733--1750&#..
Read more_1.png)
Software Debloating 论文阅读 (3) Chisel
@inproceedings{heo2018effective, title={Effective program debloating via reinforcement learning}, author={Heo, Kihong and Lee, Woosuk and Pashakhanloo, Pardis and Naik, Mayur}, booktitle={Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security}, pages={380--394}, year=..
Read more_2_1.png)
Software Debloating 论文阅读 (2) SOK1.0
@inproceedings{ali2023sok, title={SoK: A Tale of Reduction, Security, and Correctness-Evaluating Program Debloating Paradigms and Their Compositions}, author={Ali, Muaz and Muzammil, Muhammad and Karim, Faraz and Naeem, Ayesha and Haroon, Rukhshan and Haris, Muhammad and Nadeem, Huzaifah and Sabir, Waseem and Shaon, Fahad and Zaffar..
Read more_1_1.png)
Software Debloating 论文阅读 (1) CovA&CovF
@inproceedings{xin2022studying, title={Studying and understanding the tradeoffs between generality and reduction in software debloating}, author={Xin, Qi and Zhang, Qirun and Orso, Alessandro}, booktitle={Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering}, pages={1--1..
Read more