Skip to content

Instantly share code, notes, and snippets.

View zhang-zichao's full-sized avatar

Annona zhang-zichao

View GitHub Profile
@zhang-zichao
zhang-zichao / gist:e9832174fcaad2c11f47a74c9b6b69e3
Created August 9, 2021 02:33
Sample AST dump 2
uberspark >> [docker] [uberspark-vbridge] Starting AST dump...
uberspark >> [docker] /* Generated by Frama-C */
uberspark >> [docker] typedef unsigned char __uint8_t;
uberspark >> [docker] typedef unsigned short __uint16_t;
uberspark >> [docker] typedef unsigned int __uint32_t;
uberspark >> [docker] typedef unsigned long long __uint64_t;
uberspark >> [docker] typedef __uint32_t __size_t;
uberspark >> [docker] typedef __uint8_t uint8_t;
uberspark >> [docker] typedef __uint16_t uint16_t;
uberspark >> [docker] typedef __uint32_t uint32_t;
@zhang-zichao
zhang-zichao / gist:0d3a42843f6e3dd2289c6cf9535f00cb
Created August 9, 2021 02:02
Sample AST dump output
uberspark >> [docker] [uberspark-vbridge] Starting AST dump...
uberspark >> [docker] /* Generated by Frama-C */
uberspark >> [docker] typedef unsigned char __uint8_t;
uberspark >> [docker] typedef unsigned short __uint16_t;
uberspark >> [docker] typedef unsigned int __uint32_t;
uberspark >> [docker] typedef unsigned long long __uint64_t;
uberspark >> [docker] typedef __uint32_t __size_t;
uberspark >> [docker] typedef __uint8_t uint8_t;
uberspark >> [docker] typedef __uint16_t uint16_t;
uberspark >> [docker] typedef __uint32_t uint32_t;