Completed
Lowlevel pointer offset
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Symbolic Testing for Rust with crux-mir
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 What is cruxmir
- 3 General features
- 4 Targets
- 5 Scalar 52 example
- 6 Design architecture
- 7 Crucible language
- 8 Symbolic execution strategy
- 9 Rust memory model
- 10 Generics
- 11 Iterator adapters
- 12 Monomorphization
- 13 Peekaboo
- 14 Monomorphizing
- 15 Recap
- 16 Unsafe code
- 17 Raw pointers
- 18 Transmute and integer casts
- 19 Lowlevel pointer offset
- 20 Slice library
- 21 Deallocate
- 22 Cargo integration
- 23 Future work
- 24 Questions
- 25 Model organization
- 26 Dynamic symbolic execution
- 27 No concolic execution
- 28 Multiple shared references
- 29 Export mirror
- 30 Cargo mirror wrapper
- 31 String intrinsics
- 32 C intrinsics
- 33 C long tail
