com/seL4/capdl CapDL I. Background  https://sel4.systems/Info/FAQ/proof.pml  seL4’s proof toolchain Status

\vcpkg integrate install • > .\vcpkg install fmt:x64-windows • > cd .. • > cmake -B build -DCMAKE_TOOLCHAIN_FILE="%CD%/vcpkg/scripts/buildsystems/vcpkg.cmake" 感谢观看！ presents by 彭于斌 个人 GitHub ： https://github

find_package(XXX CONFIG REQUIRED) 避免被 CMake 自带的 Find 文件误导找到别的地方（而非 vcpkg 安装的那个）的库。 • 另外注意 vcpkg 需要的 CMAKE_TOOLCHAIN_FILE 如果你用 set 设置，必须在 project 命令前面，并且修改这个变量后要删除 build 目录重新 cmake -B build 一遍才能 生效（否则会在旧的环境里找，找不到

重塑移动应用开发 Rust 在移动端应 用的价值 Rust is the only advanced choice for cross platform development. 利用 Rust 重塑移动应用开发 Rust 的特点 Why Rust? - Cross platform - Performance - Thread Safe - Memory Safe - Love Love 利用 Rust 重塑移动应用开发 Rust 在移动应用 开发中的应用 Why Rust? - Cross platform - Performance - Memory Safe - Love 利用 Rust 重塑移动应用开发 PhoTto / image / chart Keystone Keystone is aiming to develop the most secure has become an ideal choice for building high-performance mobile applications. - Cross-Platform Support: Rust's cross-platform capabilities allow developers to share code across different mobile platforms

Agenda 1. Conformance 2. Code Safety 3. Cross-platform development 4. Developer and Team Productivity Visual Studio Agenda 1. Conformance 2. Code Safety 3. Cross-platform development 4. Developer and with /std:c++latest Visual Studio Visual Studio Agenda 1. Conformance 2. Code Safety 3. Cross-platform development 4. Developer and Team Productivity Static Analysis ✴ New and improved checkers libFuzzer https://aka.ms/cpp/libfuzzer Visual Studio Agenda 1. Conformance 2. Code Safety 3. Cross-platform development 4. Developer and Team Productivity Simplify C++ dependency management with

interval, etc. - Feature layer URLArcGIS Runtime for Qt - SDK • The Qt SDK allows you to build cross platform desktop and mobile apps • Incorporate features such as mapping, geocoding, routing, geoprocessing

Benefits Drawbacks Our Story Requirements Do not reinvent the wheel Not modify app under test Cross-platform tests Scale Appium Open source mobile testing framework Not modify app under test Use

JavaScriptCore VM NativeScript Module Layer (NML) o Abstractions on native APIs provide unified, cross-platform API o Dozens available out of the box o Easy for developers to add o All native APIs still