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

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,