第三届中国Rust开发者大会 Rustle: the first static analyzer for smart contracts in Rust Matthew Jiang Director of Security Team @ BlockSec Motivation Background Design 1 2 3 Capability Usability Conclusion with_attached_deposit(1) .with_static_gas(GAS_FOR_FT_TRANSFER_CALL) .ft_transfer_call(self.depositor.clone(), amount, None, "".to_string()) .then( ext_self::ext(env::current_account_id()) .with_static_gas(GAS_FOR_FT_RESOLVE_TRANSFER) documentation and samples is preferred Welcome to Contribute Usability Conclusion • Rustle is the first static analyzer for smart contracts in Rust and has been integrated into our workflow • Rustle supports

Finding Bugs using Path-Sensitive Static Analysis Gábor Horváth Gabor.Horvath@microsoft.com @XazaxHunWelcome to CppCon 2021! Join #visual_studio channel on CppCon Discord https://aka.ms/cppcon/discord the latest announcements Take our survey https://aka.ms/cppconAgenda • Intro to path-sensitive static analysis • Path-sensitive checks in MSVC • A look under the hood • Upcoming features • Lessons Documentation in The Era of Concepts and Ranges – Sy Brand & Christopher Di Bella (Google) • Static Analysis and Program Safety in C+ +: Making it Real – Sunny Chatterjee • In-memory and Persistent

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68 A Vindex maps column values to keyspace IDs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . to move any records in other shards. The keyspace ID itself is computed using a function of some column in your data, such as the user ID. Vitess allows you to choose from a variety of functions (vindexes) VSchema allows you to associate table columns to sequence tables. If no value is specified for such a column, then VTGate will know to use the sequence table to generate a new value for it. VStream VStream

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 120 A Vindex maps column values to keyspace IDs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 394 Column List . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . to move any records in other shards. The keyspace ID itself is computed using a function of some column in your data, such as the user ID. Vitess allows you to choose from a variety of functions (vindexes)

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 141 A Vindex maps column values to keyspace IDs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 458 Multi-Column Vindexes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 459 Column List . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

• put_column() : Use column layout to output content. The content is arranged vertically • put_grid() : Output content using grid layout Here is an example by combining put_row() and put_column(): put_row([ put_row([ put_column([ put_code('A'), put_row([ put_code('B1'), None, # None represents the space between the output put_code('B2'), None, put_code('B3'), ]), put_code('C'), ]), None, put_code('D'), None the current popup window. Layout and Style put_row*† Use row layout to output content put_column*† Use column layout to output content put_grid* Output content using grid layout span Cross-cell content

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88 A Vindex maps column values to keyspace IDs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . vindex. We will create 4 shards (-40, 40-80, 80-c0, c0-). The location will be denoted by a country column. Schema We will create 2 tables in this example. CREATE TABLE customer ( id int NOT NULL, fullname "customer": { "column_vindexes": [ { "columns": ["id", "country"], "name": "region_vdx" }, 14 This vindex uses a byte mapping of countries provided in a JSON file and combines that with the id column in the

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131 A Vindex maps column values to keyspace IDs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 431 Column List . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . to move any records in other shards. The keyspace ID itself is computed using a function of some column in your data, such as the user ID. Vitess allows you to choose from a variety of functions (vindexes)

• put_column() : Use column layout to output content. The content is arranged vertically • put_grid() : Output content using grid layout Here is an example by combining put_row() and put_column(): put_row([ put_row([ put_column([ put_code('A'), put_row([ put_code('B1'), None, # None represents the space between the output put_code('B2'), None, put_code('B3'), ]), put_code('C'), ]), None, put_code('D'), None the current popup window. Layout and Style put_row*† Use row layout to output content put_column*† Use column layout to output content put_grid* Output content using grid layout span Cross-cell content

• put_column() : Use column layout to output content. The content is arranged vertically • put_grid() : Output content using grid layout Here is an example by combining put_row() and put_column(): put_row([ put_row([ put_column([ put_code('A'), put_row([ put_code('B1'), None, # None represents the space between the output put_code('B2'), None, put_code('B3'), ]), put_code('C'), ]), None, put_code('D'), None the current popup window. Layout and Style put_row*† Use row layout to output content put_column*† Use column layout to output content put_grid* Output content using grid layout span Cross-cell content