第三届中国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

• 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

• 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

horizontally 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(): The The results of the above example are as follows: put_row([ put_column([ put_code('A'), put_row([ put_code('B1'), None, # None represents the space between the output 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

10 Upgrade phpunit.xml adjustments ->withConsecutive() has been removed data providers have to be static Tutorials & Examples Content Management Tutorial Getting CakePHP Checking our Installation CMS whose name contains multiple words should only pluralize the last word, for example, menu_links. Column names with two or more words are underscored, for example, first_name. Foreign keys in hasMany, everywhere, allowing you to have simpler schemas that don’t require additional id columns. The table and column names we used were not arbitrary. By using CakePHP’s naming conventions, we can leverage CakePHP

horizontally 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(): The The results of the above example are as follows: put_row([ put_column([ put_code('A'), put_row([ put_code('B1'), None, # None represents the space between the output 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

whose name contains multiple words should only pluralize the last word, for example, menu_links. Column names with two or more words are underscored, for example, first_name. Foreign keys in hasMany, everywhere, allowing you to have simpler schemas that don’t require additional id columns. The table and column names we used were not arbitrary. By using CakePHP’s naming conventions, we can lever- age CakePHP to save an Article right now, saving would fail as we are not creating a slug attribute, and the column is NOT NULL. Slug values are typically a URL-safe version of an article’s title. We can use the beforeSave()

horizontally 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(): The The results of the above example are as follows: put_row([ put_column([ put_code('A'), put_row([ put_code('B1'), None, # None represents the space between the output 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