符号执行助力更佳云治理.pdf

《符号执行助力更佳云治理.pdf》由会员分享，可在线阅读，更多相关《符号执行助力更佳云治理.pdf（26页珍藏版）》请在三个皮匠报告上搜索。

1、 2025,Amazon Web Services,Inc.or its affiliates.All rights reserved.2025,Amazon Web Services,Inc.or its affiliates.All rights reserved.I N V 5 1 1Symbolic Execution forBetter Cloud GovernanceAndrew GacekSr.Pr.Applied ScientistAutomated Reasoning 2025,Amazon Web Services,Inc.or its affiliates.All rig

2、hts reserved.Andrew Gacek-PhD in Computer Science from University of Minnesota-7 years at Rockwell Collins doing verification of avionics and cyber-physical systems-7 years at AWS doing verification of access control and cloud governance 2025,Amazon Web Services,Inc.or its affiliates.All rights rese

3、rved.AgendaSymbolic Execution 80%Cloud Governance 20%2025,Amazon Web Services,Inc.or its affiliates.All rights reserved.2025,Amazon Web Services,Inc.or its affiliates.All rights reserved.Symbolic Execution 2025,Amazon Web Services,Inc.or its affiliates.All rights reserved.How do we know what code do

4、es?2025,Amazon Web Services,Inc.or its affiliates.All rights reserved.How do we know what code does?2025,Amazon Web Services,Inc.or its affiliates.All rights reserved.What is“symbolic”?2+2=234532+42=52In 1 1:swap(3,4)Out1 1:(4,3)In 1 1:swap(a,b)Out1 1:(b,a)2025,Amazon Web Services,Inc.or its affilia

5、tes.All rights reserved.Code 2025,Amazon Web Services,Inc.or its affiliates.All rights reserved.2025,Amazon Web Services,Inc.or its affiliates.All rights reserved.2025,Amazon Web Services,Inc.or its affiliates.All rights reserved.2025,Amazon Web Services,Inc.or its affiliates.All rights reserved.Clo

6、ud Governance 2025,Amazon Web Services,Inc.or its affiliates.All rights reserved.2025,Amazon Web Services,Inc.or its affiliates.All rights reserved.2025,Amazon Web Services,Inc.or its affiliates.All rights reserved.2025,Amazon Web Services,Inc.or its affiliates.All rights reserved.TableName:MyTable,