insn_builder.rs 53 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267126812691270127112721273127412751276127712781279128012811282128312841285128612871288128912901291129212931294129512961297129812991300130113021303130413051306130713081309131013111312131313141315131613171318131913201321132213231324132513261327132813291330133113321333133413351336133713381339134013411342134313441345134613471348134913501351135213531354135513561357135813591360136113621363136413651366136713681369137013711372137313741375137613771378137913801381138213831384138513861387138813891390139113921393139413951396139713981399140014011402140314041405140614071408140914101411141214131414141514161417141814191420142114221423142414251426142714281429143014311432143314341435143614371438143914401441144214431444144514461447144814491450145114521453145414551456145714581459146014611462146314641465146614671468146914701471147214731474147514761477147814791480148114821483148414851486148714881489149014911492149314941495149614971498149915001501150215031504150515061507150815091510151115121513151415151516151715181519152015211522152315241525152615271528152915301531153215331534153515361537153815391540154115421543154415451546154715481549155015511552155315541555155615571558155915601561156215631564
  1. // Copyright 2017 Alex Dukhno <alex.dukhno@icloud.com>
  2. //
  3. // Licensed under the Apache License, Version 2.0 <http://www.apache.org/licenses/LICENSE-2.0> or
  4. // the MIT license <http://opensource.org/licenses/MIT>, at your option. This file may not be
  5. // copied, modified, or distributed except according to those terms.
  6. //! Module provides API to create eBPF programs by Rust programming language
  7. use ebpf::*;
  8. /// Represents single eBPF instruction
  9. pub trait Instruction: Sized {
  10. /// returns instruction opt code
  11. fn opt_code_byte(&self) -> u8;
  12. /// returns destination register
  13. fn get_dst(&self) -> u8 {
  14. self.get_insn().dst
  15. }
  16. /// returns source register
  17. fn get_src(&self) -> u8 {
  18. self.get_insn().src
  19. }
  20. /// returns offset bytes
  21. fn get_off(&self) -> i16 {
  22. self.get_insn().off
  23. }
  24. /// returns immediate value
  25. fn get_imm(&self) -> i32 {
  26. self.get_insn().imm
  27. }
  28. /// sets destination register
  29. fn set_dst(mut self, dst: u8) -> Self {
  30. self.get_insn_mut().dst = dst;
  31. self
  32. }
  33. /// sets source register
  34. fn set_src(mut self, src: u8) -> Self {
  35. self.get_insn_mut().src = src;
  36. self
  37. }
  38. /// sets offset bytes
  39. fn set_off(mut self, offset: i16) -> Self {
  40. self.get_insn_mut().off = offset;
  41. self
  42. }
  43. /// sets immediate value
  44. fn set_imm(mut self, imm: i32) -> Self {
  45. self.get_insn_mut().imm = imm;
  46. self
  47. }
  48. /// get `ebpf::Insn` struct
  49. fn get_insn(&self) -> &Insn;
  50. /// get mutable `ebpf::Insn` struct
  51. fn get_insn_mut(&mut self) -> &mut Insn;
  52. }
  53. /// General trait for `Instruction`s and `BpfCode`.
  54. /// Provides functionality to transform `struct` into collection of bytes
  55. pub trait IntoBytes {
  56. /// type of targeted transformation
  57. type Bytes;
  58. /// consume `Self` with transformation into `Self::Bytes`
  59. fn into_bytes(self) -> Self::Bytes;
  60. }
  61. /// General implementation of `IntoBytes` for `Instruction`
  62. impl<'i, I: Instruction> IntoBytes for &'i I {
  63. type Bytes = Vec<u8>;
  64. /// transform immutable reference of `Instruction` into `Vec<u8>` with size of 8
  65. /// [ 1 byte , 1 byte , 2 bytes, 4 bytes ]
  66. /// [ OP_CODE, SRC_REG | DST_REG, OFFSET , IMMEDIATE ]
  67. fn into_bytes(self) -> Self::Bytes {
  68. let mut buffer = Vec::with_capacity(8);
  69. buffer.push(self.opt_code_byte());
  70. buffer.push(self.get_src() << 4 | self.get_dst());
  71. buffer.push(self.get_off() as u8);
  72. buffer.push((self.get_off() >> 8) as u8);
  73. buffer.push(self.get_imm() as u8);
  74. buffer.push((self.get_imm() >> 8) as u8);
  75. buffer.push((self.get_imm() >> 16) as u8);
  76. buffer.push((self.get_imm() >> 24) as u8);
  77. buffer
  78. }
  79. }
  80. /// BPF instruction stack in byte representation
  81. #[derive(Default)]
  82. pub struct BpfCode {
  83. instructions: Vec<u8>
  84. }
  85. impl BpfCode {
  86. /// creates new empty BPF instruction stack
  87. pub fn new() -> Self {
  88. BpfCode { instructions: vec![] }
  89. }
  90. /// create ADD instruction
  91. pub fn add(&mut self, source: Source, arch: Arch) -> Move {
  92. self.mov_internal(source, arch, OpBits::Add)
  93. }
  94. /// create SUB instruction
  95. pub fn sub(&mut self, source: Source, arch: Arch) -> Move {
  96. self.mov_internal(source, arch, OpBits::Sub)
  97. }
  98. /// create MUL instruction
  99. pub fn mul(&mut self, source: Source, arch: Arch) -> Move {
  100. self.mov_internal(source, arch, OpBits::Mul)
  101. }
  102. /// create DIV instruction
  103. pub fn div(&mut self, source: Source, arch: Arch) -> Move {
  104. self.mov_internal(source, arch, OpBits::Div)
  105. }
  106. /// create OR instruction
  107. pub fn bit_or(&mut self, source: Source, arch: Arch) -> Move {
  108. self.mov_internal(source, arch, OpBits::BitOr)
  109. }
  110. /// create AND instruction
  111. pub fn bit_and(&mut self, source: Source, arch: Arch) -> Move {
  112. self.mov_internal(source, arch, OpBits::BitAnd)
  113. }
  114. /// create LSHIFT instruction
  115. pub fn left_shift(&mut self, source: Source, arch: Arch) -> Move {
  116. self.mov_internal(source, arch, OpBits::LShift)
  117. }
  118. /// create RSHIFT instruction
  119. pub fn right_shift(&mut self, source: Source, arch: Arch) -> Move {
  120. self.mov_internal(source, arch, OpBits::RShift)
  121. }
  122. /// create NEGATE instruction
  123. pub fn negate(&mut self, arch: Arch) -> Move {
  124. self.mov_internal(Source::Imm, arch, OpBits::Negate)
  125. }
  126. /// create MOD instruction
  127. pub fn modulo(&mut self, source: Source, arch: Arch) -> Move {
  128. self.mov_internal(source, arch, OpBits::Mod)
  129. }
  130. /// create XOR instruction
  131. pub fn bit_xor(&mut self, source: Source, arch: Arch) -> Move {
  132. self.mov_internal(source, arch, OpBits::BitXor)
  133. }
  134. /// create MOV instruction
  135. pub fn mov(&mut self, source: Source, arch: Arch) -> Move {
  136. self.mov_internal(source, arch, OpBits::Mov)
  137. }
  138. /// create SIGNED RSHIFT instruction
  139. pub fn signed_right_shift(&mut self, source: Source, arch: Arch) -> Move {
  140. self.mov_internal(source, arch, OpBits::SignRShift)
  141. }
  142. #[inline]
  143. fn mov_internal(&mut self, source: Source, arch_bits: Arch, op_bits: OpBits) -> Move {
  144. Move {
  145. bpf_code: self,
  146. src_bit: source,
  147. op_bits: op_bits,
  148. arch_bits: arch_bits,
  149. insn: Insn {
  150. opc: 0x00,
  151. dst: 0x00,
  152. src: 0x00,
  153. off: 0x00_00,
  154. imm: 0x00_00_00_00
  155. }
  156. }
  157. }
  158. /// create byte swap instruction
  159. pub fn swap_bytes(&mut self, endian: Endian) -> SwapBytes {
  160. SwapBytes {
  161. bpf_code: self,
  162. endian: endian,
  163. insn: Insn {
  164. opc: 0x00,
  165. dst: 0x00,
  166. src: 0x00,
  167. off: 0x00_00,
  168. imm: 0x00_00_00_00
  169. }
  170. }
  171. }
  172. /// create LOAD instruction, IMMEDIATE is the source
  173. pub fn load(&mut self, mem_size: MemSize) -> Load {
  174. self.load_internal(mem_size, Addressing::Imm, BPF_LD)
  175. }
  176. /// create ABSOLUTE LOAD instruction
  177. pub fn load_abs(&mut self, mem_size: MemSize) -> Load {
  178. self.load_internal(mem_size, Addressing::Abs, BPF_LD)
  179. }
  180. /// create INDIRECT LOAD instruction
  181. pub fn load_ind(&mut self, mem_size: MemSize) -> Load {
  182. self.load_internal(mem_size, Addressing::Ind, BPF_LD)
  183. }
  184. /// create LOAD instruction, MEMORY is the source
  185. pub fn load_x(&mut self, mem_size: MemSize) -> Load {
  186. self.load_internal(mem_size, Addressing::Mem, BPF_LDX)
  187. }
  188. #[inline]
  189. fn load_internal(&mut self, mem_size: MemSize, addressing: Addressing, source: u8) -> Load {
  190. Load {
  191. bpf_code: self,
  192. addressing: addressing,
  193. mem_size: mem_size,
  194. source: source,
  195. insn: Insn {
  196. opc: 0x00,
  197. dst: 0x00,
  198. src: 0x00,
  199. off: 0x00_00,
  200. imm: 0x00_00_00_00
  201. }
  202. }
  203. }
  204. /// creates STORE instruction, IMMEDIATE is the source
  205. pub fn store(&mut self, mem_size: MemSize) -> Store {
  206. self.store_internal(mem_size, BPF_IMM)
  207. }
  208. /// creates STORE instruction, MEMORY is the source
  209. pub fn store_x(&mut self, mem_size: MemSize) -> Store {
  210. self.store_internal(mem_size, BPF_MEM | BPF_STX)
  211. }
  212. #[inline]
  213. fn store_internal(&mut self, mem_size: MemSize, source: u8) -> Store {
  214. Store {
  215. bpf_code: self,
  216. mem_size: mem_size,
  217. source: source,
  218. insn: Insn {
  219. opc: 0x00,
  220. dst: 0x00,
  221. src: 0x00,
  222. off: 0x00_00,
  223. imm: 0x00_00_00_00
  224. }
  225. }
  226. }
  227. /// create unconditional JMP instruction
  228. pub fn jump_unconditional(&mut self) -> Jump {
  229. self.jump_conditional(Cond::Abs, Source::Imm)
  230. }
  231. /// create conditional JMP instruction
  232. pub fn jump_conditional(&mut self, cond: Cond, src_bit: Source) -> Jump {
  233. Jump {
  234. bpf_code: self,
  235. cond: cond,
  236. src_bit: src_bit,
  237. insn: Insn {
  238. opc: 0x00,
  239. dst: 0x00,
  240. src: 0x00,
  241. off: 0x00_00,
  242. imm: 0x00_00_00_00
  243. }
  244. }
  245. }
  246. /// create CALL instruction
  247. pub fn call(&mut self) -> FunctionCall {
  248. FunctionCall {
  249. bpf_code: self,
  250. insn: Insn {
  251. opc: 0x00,
  252. dst: 0x00,
  253. src: 0x00,
  254. off: 0x00_00,
  255. imm: 0x00_00_00_00
  256. }
  257. }
  258. }
  259. /// create EXIT instruction
  260. pub fn exit(&mut self) -> Exit {
  261. Exit {
  262. bpf_code: self,
  263. insn: Insn {
  264. opc: 0x00,
  265. dst: 0x00,
  266. src: 0x00,
  267. off: 0x00_00,
  268. imm: 0x00_00_00_00
  269. }
  270. }
  271. }
  272. }
  273. /// Transform `BpfCode` into assemble representation
  274. impl<'a> IntoBytes for &'a BpfCode {
  275. type Bytes = &'a [u8];
  276. /// returns `BpfCode` instruction stack as `&[u8]`
  277. fn into_bytes(self) -> Self::Bytes {
  278. self.instructions.as_slice()
  279. }
  280. }
  281. /// struct to represent `MOV ALU` instructions
  282. pub struct Move<'i> {
  283. bpf_code: &'i mut BpfCode,
  284. src_bit: Source,
  285. op_bits: OpBits,
  286. arch_bits: Arch,
  287. insn: Insn
  288. }
  289. impl<'i> Move<'i> {
  290. /// push MOV instruction into BpfCode instruction stack
  291. pub fn push(mut self) -> &'i mut BpfCode {
  292. let mut asm = self.into_bytes();
  293. self.bpf_code.instructions.append(&mut asm);
  294. self.bpf_code
  295. }
  296. }
  297. impl<'i> Instruction for Move<'i> {
  298. fn opt_code_byte(&self) -> u8 {
  299. let op_bits = self.op_bits as u8;
  300. let src_bit = self.src_bit as u8;
  301. let arch_bits = self.arch_bits as u8;
  302. op_bits | src_bit | arch_bits
  303. }
  304. fn get_insn_mut(&mut self) -> &mut Insn {
  305. &mut self.insn
  306. }
  307. fn get_insn(&self) -> &Insn {
  308. &self.insn
  309. }
  310. }
  311. #[derive(Copy, Clone, PartialEq)]
  312. /// The source of ALU and JMP instructions
  313. pub enum Source {
  314. /// immediate field will be used as a source
  315. Imm = BPF_IMM as isize,
  316. /// src register will be used as a source
  317. Reg = BPF_X as isize
  318. }
  319. #[derive(Copy, Clone)]
  320. enum OpBits {
  321. Add = BPF_ADD as isize,
  322. Sub = BPF_SUB as isize,
  323. Mul = BPF_MUL as isize,
  324. Div = BPF_DIV as isize,
  325. BitOr = BPF_OR as isize,
  326. BitAnd = BPF_AND as isize,
  327. LShift = BPF_LSH as isize,
  328. RShift = BPF_RSH as isize,
  329. Negate = BPF_NEG as isize,
  330. Mod = BPF_MOD as isize,
  331. BitXor = BPF_XOR as isize,
  332. Mov = BPF_MOV as isize,
  333. SignRShift = BPF_ARSH as isize
  334. }
  335. #[derive(Copy, Clone)]
  336. /// Architecture of instructions
  337. pub enum Arch {
  338. /// 64-bit instructions
  339. X64 = BPF_ALU64 as isize,
  340. /// 32-bit instructions
  341. X32 = BPF_ALU as isize
  342. }
  343. /// struct representation of byte swap operation
  344. pub struct SwapBytes<'i> {
  345. bpf_code: &'i mut BpfCode,
  346. endian: Endian,
  347. insn: Insn
  348. }
  349. impl<'i> SwapBytes<'i> {
  350. /// push bytes swap instruction into BpfCode instruction stack
  351. pub fn push(mut self) -> &'i mut BpfCode {
  352. let mut asm = self.into_bytes();
  353. self.bpf_code.instructions.append(&mut asm);
  354. self.bpf_code
  355. }
  356. }
  357. impl<'i> Instruction for SwapBytes<'i> {
  358. fn opt_code_byte(&self) -> u8 {
  359. self.endian as u8
  360. }
  361. fn get_insn_mut(&mut self) -> &mut Insn {
  362. &mut self.insn
  363. }
  364. fn get_insn(&self) -> &Insn {
  365. &self.insn
  366. }
  367. }
  368. #[derive(Copy, Clone)]
  369. /// Bytes endian
  370. pub enum Endian {
  371. /// Little endian
  372. Little = LE as isize,
  373. /// Big endian
  374. Big = BE as isize
  375. }
  376. /// struct representation of LOAD instructions
  377. pub struct Load<'i> {
  378. bpf_code: &'i mut BpfCode,
  379. addressing: Addressing,
  380. mem_size: MemSize,
  381. source: u8,
  382. insn: Insn
  383. }
  384. impl<'i> Load<'i> {
  385. /// push LOAD instruction into BpfCode instruction stack
  386. pub fn push(mut self) -> &'i mut BpfCode {
  387. let mut asm = self.into_bytes();
  388. self.bpf_code.instructions.append(&mut asm);
  389. self.bpf_code
  390. }
  391. }
  392. impl<'i> Instruction for Load<'i> {
  393. fn opt_code_byte(&self) -> u8 {
  394. let size = self.mem_size as u8;
  395. let addressing = self.addressing as u8;
  396. addressing | size | self.source
  397. }
  398. fn get_insn_mut(&mut self) -> &mut Insn {
  399. &mut self.insn
  400. }
  401. fn get_insn(&self) -> &Insn {
  402. &self.insn
  403. }
  404. }
  405. /// struct representation of STORE instructions
  406. pub struct Store<'i> {
  407. bpf_code: &'i mut BpfCode,
  408. mem_size: MemSize,
  409. source: u8,
  410. insn: Insn
  411. }
  412. impl<'i> Store<'i> {
  413. /// push STORE instruction into BpfCode instruction stack
  414. pub fn push(mut self) -> &'i mut BpfCode {
  415. let mut asm = self.into_bytes();
  416. self.bpf_code.instructions.append(&mut asm);
  417. self.bpf_code
  418. }
  419. }
  420. impl<'i> Instruction for Store<'i> {
  421. fn opt_code_byte(&self) -> u8 {
  422. let size = self.mem_size as u8;
  423. BPF_MEM | BPF_ST | size | self.source
  424. }
  425. fn get_insn_mut(&mut self) -> &mut Insn {
  426. &mut self.insn
  427. }
  428. fn get_insn(&self) -> &Insn {
  429. &self.insn
  430. }
  431. }
  432. #[derive(Copy, Clone)]
  433. /// Memory size for LOAD and STORE instructions
  434. pub enum MemSize {
  435. /// 8-bit size
  436. Byte = BPF_B as isize,
  437. /// 16-bit size
  438. HalfWord = BPF_H as isize,
  439. /// 32-bit size
  440. Word = BPF_W as isize,
  441. /// 64-bit size
  442. DoubleWord = BPF_DW as isize
  443. }
  444. #[derive(Copy, Clone)]
  445. enum Addressing {
  446. Imm = BPF_IMM as isize,
  447. Abs = BPF_ABS as isize,
  448. Ind = BPF_IND as isize,
  449. Mem = BPF_MEM as isize
  450. }
  451. /// struct representation of JMP instructions
  452. pub struct Jump<'i> {
  453. bpf_code: &'i mut BpfCode,
  454. cond: Cond,
  455. src_bit: Source,
  456. insn: Insn
  457. }
  458. impl<'i> Jump<'i> {
  459. /// push JMP instruction into BpfCode instruction stack
  460. pub fn push(mut self) -> &'i mut BpfCode {
  461. let mut asm = self.into_bytes();
  462. self.bpf_code.instructions.append(&mut asm);
  463. self.bpf_code
  464. }
  465. }
  466. impl<'i> Instruction for Jump<'i> {
  467. fn opt_code_byte(&self) -> u8 {
  468. let cmp: u8 = self.cond as u8;
  469. let src_bit = self.src_bit as u8;
  470. cmp | src_bit | BPF_JMP
  471. }
  472. fn get_insn_mut(&mut self) -> &mut Insn {
  473. &mut self.insn
  474. }
  475. fn get_insn(&self) -> &Insn {
  476. &self.insn
  477. }
  478. }
  479. #[derive(Copy, Clone, PartialEq)]
  480. /// Conditions for JMP instructions
  481. pub enum Cond {
  482. /// Absolute or unconditional
  483. Abs = BPF_JA as isize,
  484. /// Jump if `==`
  485. Equals = BPF_JEQ as isize,
  486. /// Jump if `>`
  487. Greater = BPF_JGT as isize,
  488. /// Jump if `>=`
  489. GreaterEquals = BPF_JGE as isize,
  490. /// Jump if `<`
  491. Lower = BPF_JLT as isize,
  492. /// Jump if `<=`
  493. LowerEquals = BPF_JLE as isize,
  494. /// Jump if `src` & `dst`
  495. BitAnd = BPF_JSET as isize,
  496. /// Jump if `!=`
  497. NotEquals = BPF_JNE as isize,
  498. /// Jump if `>` (signed)
  499. GreaterSigned = BPF_JSGT as isize,
  500. /// Jump if `>=` (signed)
  501. GreaterEqualsSigned = BPF_JSGE as isize,
  502. /// Jump if `<` (signed)
  503. LowerSigned = BPF_JSLT as isize,
  504. /// Jump if `<=` (signed)
  505. LowerEqualsSigned = BPF_JSLE as isize
  506. }
  507. /// struct representation of CALL instruction
  508. pub struct FunctionCall<'i> {
  509. bpf_code: &'i mut BpfCode,
  510. insn: Insn
  511. }
  512. impl<'i> FunctionCall<'i> {
  513. /// push CALL instruction into BpfCode instruction stack
  514. pub fn push(mut self) -> &'i mut BpfCode {
  515. let mut asm = self.into_bytes();
  516. self.bpf_code.instructions.append(&mut asm);
  517. self.bpf_code
  518. }
  519. }
  520. impl<'i> Instruction for FunctionCall<'i> {
  521. fn opt_code_byte(&self) -> u8 {
  522. BPF_CALL | BPF_JMP
  523. }
  524. fn get_insn_mut(&mut self) -> &mut Insn {
  525. &mut self.insn
  526. }
  527. fn get_insn(&self) -> &Insn {
  528. &self.insn
  529. }
  530. }
  531. /// struct representation of EXIT instruction
  532. pub struct Exit<'i> {
  533. bpf_code: &'i mut BpfCode,
  534. insn: Insn
  535. }
  536. impl<'i> Exit<'i> {
  537. /// push EXIT instruction into BpfCode instruction stack
  538. pub fn push(mut self) -> &'i mut BpfCode {
  539. let mut asm = self.into_bytes();
  540. self.bpf_code.instructions.append(&mut asm);
  541. self.bpf_code
  542. }
  543. }
  544. impl<'i> Instruction for Exit<'i> {
  545. fn opt_code_byte(&self) -> u8 {
  546. BPF_EXIT | BPF_JMP
  547. }
  548. fn get_insn_mut(&mut self) -> &mut Insn {
  549. &mut self.insn
  550. }
  551. fn get_insn(&self) -> &Insn {
  552. &self.insn
  553. }
  554. }
  555. #[cfg(test)]
  556. mod tests {
  557. #[cfg(test)]
  558. mod special {
  559. use super::super::*;
  560. #[test]
  561. fn call_immediate() {
  562. let mut program = BpfCode::new();
  563. program.call().set_imm(0x11_22_33_44).push();
  564. assert_eq!(program.into_bytes(), &[0x85, 0x00, 0x00, 0x00, 0x44, 0x33, 0x22, 0x11]);
  565. }
  566. #[test]
  567. fn exit_operation() {
  568. let mut program = BpfCode::new();
  569. program.exit().push();
  570. assert_eq!(program.into_bytes(), &[0x95, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  571. }
  572. }
  573. #[cfg(test)]
  574. mod jump_instructions {
  575. #[cfg(test)]
  576. mod register {
  577. use super::super::super::*;
  578. #[test]
  579. fn jump_on_dst_equals_src() {
  580. let mut program = BpfCode::new();
  581. program.jump_conditional(Cond::Equals, Source::Reg).set_dst(0x01).set_src(0x02).push();
  582. assert_eq!(program.into_bytes(), &[0x1d, 0x21, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  583. }
  584. #[test]
  585. fn jump_on_dst_greater_than_src() {
  586. let mut program = BpfCode::new();
  587. program.jump_conditional(Cond::Greater, Source::Reg).set_dst(0x03).set_src(0x02).push();
  588. assert_eq!(program.into_bytes(), &[0x2d, 0x23, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  589. }
  590. #[test]
  591. fn jump_on_dst_greater_or_equals_to_src() {
  592. let mut program = BpfCode::new();
  593. program.jump_conditional(Cond::GreaterEquals, Source::Reg).set_dst(0x04).set_src(0x01).push();
  594. assert_eq!(program.into_bytes(), &[0x3d, 0x14, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  595. }
  596. #[test]
  597. fn jump_on_dst_lower_than_src() {
  598. let mut program = BpfCode::new();
  599. program.jump_conditional(Cond::Lower, Source::Reg).set_dst(0x03).set_src(0x02).push();
  600. assert_eq!(program.into_bytes(), &[0xad, 0x23, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  601. }
  602. #[test]
  603. fn jump_on_dst_lower_or_equals_to_src() {
  604. let mut program = BpfCode::new();
  605. program.jump_conditional(Cond::LowerEquals, Source::Reg).set_dst(0x04).set_src(0x01).push();
  606. assert_eq!(program.into_bytes(), &[0xbd, 0x14, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  607. }
  608. #[test]
  609. fn jump_on_dst_bit_and_with_src_not_equal_zero() {
  610. let mut program = BpfCode::new();
  611. program.jump_conditional(Cond::BitAnd, Source::Reg).set_dst(0x05).set_src(0x02).push();
  612. assert_eq!(program.into_bytes(), &[0x4d, 0x25, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  613. }
  614. #[test]
  615. fn jump_on_dst_not_equals_src() {
  616. let mut program = BpfCode::new();
  617. program.jump_conditional(Cond::NotEquals, Source::Reg).set_dst(0x03).set_src(0x05).push();
  618. assert_eq!(program.into_bytes(), &[0x5d, 0x53, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  619. }
  620. #[test]
  621. fn jump_on_dst_greater_than_src_signed() {
  622. let mut program = BpfCode::new();
  623. program.jump_conditional(Cond::GreaterSigned, Source::Reg).set_dst(0x04).set_src(0x01).push();
  624. assert_eq!(program.into_bytes(), &[0x6d, 0x14, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  625. }
  626. #[test]
  627. fn jump_on_dst_greater_or_equals_src_signed() {
  628. let mut program = BpfCode::new();
  629. program.jump_conditional(Cond::GreaterEqualsSigned, Source::Reg).set_dst(0x01).set_src(0x03).push();
  630. assert_eq!(program.into_bytes(), &[0x7d, 0x31, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  631. }
  632. #[test]
  633. fn jump_on_dst_lower_than_src_signed() {
  634. let mut program = BpfCode::new();
  635. program.jump_conditional(Cond::LowerSigned, Source::Reg).set_dst(0x04).set_src(0x01).push();
  636. assert_eq!(program.into_bytes(), &[0xcd, 0x14, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  637. }
  638. #[test]
  639. fn jump_on_dst_lower_or_equals_src_signed() {
  640. let mut program = BpfCode::new();
  641. program.jump_conditional(Cond::LowerEqualsSigned, Source::Reg).set_dst(0x01).set_src(0x03).push();
  642. assert_eq!(program.into_bytes(), &[0xdd, 0x31, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  643. }
  644. }
  645. #[cfg(test)]
  646. mod immediate {
  647. use super::super::super::*;
  648. #[test]
  649. fn jump_to_label() {
  650. let mut program = BpfCode::new();
  651. program.jump_unconditional().set_off(0x00_11).push();
  652. assert_eq!(program.into_bytes(), &[0x05, 0x00, 0x11, 0x00, 0x00, 0x00, 0x00, 0x00]);
  653. }
  654. #[test]
  655. fn jump_on_dst_equals_const() {
  656. let mut program = BpfCode::new();
  657. program.jump_conditional(Cond::Equals, Source::Imm).set_dst(0x01).set_imm(0x00_11_22_33).push();
  658. assert_eq!(program.into_bytes(), &[0x15, 0x01, 0x00, 0x00, 0x33, 0x22, 0x11, 0x00]);
  659. }
  660. #[test]
  661. fn jump_on_dst_greater_than_const() {
  662. let mut program = BpfCode::new();
  663. program.jump_conditional(Cond::Greater, Source::Imm).set_dst(0x02).set_imm(0x00_11_00_11).push();
  664. assert_eq!(program.into_bytes(), &[0x25, 0x02, 0x00, 0x00, 0x11, 0x00, 0x11, 0x00]);
  665. }
  666. #[test]
  667. fn jump_on_dst_greater_or_equals_to_const() {
  668. let mut program = BpfCode::new();
  669. program.jump_conditional(Cond::GreaterEquals, Source::Imm).set_dst(0x04).set_imm(0x00_22_11_00).push();
  670. assert_eq!(program.into_bytes(), &[0x35, 0x04, 0x00, 0x00, 0x00, 0x11, 0x22, 0x00]);
  671. }
  672. #[test]
  673. fn jump_on_dst_lower_than_const() {
  674. let mut program = BpfCode::new();
  675. program.jump_conditional(Cond::Lower, Source::Imm).set_dst(0x02).set_imm(0x00_11_00_11).push();
  676. assert_eq!(program.into_bytes(), &[0xa5, 0x02, 0x00, 0x00, 0x11, 0x00, 0x11, 0x00]);
  677. }
  678. #[test]
  679. fn jump_on_dst_lower_or_equals_to_const() {
  680. let mut program = BpfCode::new();
  681. program.jump_conditional(Cond::LowerEquals, Source::Imm).set_dst(0x04).set_imm(0x00_22_11_00).push();
  682. assert_eq!(program.into_bytes(), &[0xb5, 0x04, 0x00, 0x00, 0x00, 0x11, 0x22, 0x00]);
  683. }
  684. #[test]
  685. fn jump_on_dst_bit_and_with_const_not_equal_zero() {
  686. let mut program = BpfCode::new();
  687. program.jump_conditional(Cond::BitAnd, Source::Imm).set_dst(0x05).push();
  688. assert_eq!(program.into_bytes(), &[0x45, 0x05, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  689. }
  690. #[test]
  691. fn jump_on_dst_not_equals_const() {
  692. let mut program = BpfCode::new();
  693. program.jump_conditional(Cond::NotEquals, Source::Imm).set_dst(0x03).push();
  694. assert_eq!(program.into_bytes(), &[0x55, 0x03, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  695. }
  696. #[test]
  697. fn jump_on_dst_greater_than_const_signed() {
  698. let mut program = BpfCode::new();
  699. program.jump_conditional(Cond::GreaterSigned, Source::Imm).set_dst(0x04).push();
  700. assert_eq!(program.into_bytes(), &[0x65, 0x04, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  701. }
  702. #[test]
  703. fn jump_on_dst_greater_or_equals_src_signed() {
  704. let mut program = BpfCode::new();
  705. program.jump_conditional(Cond::GreaterEqualsSigned, Source::Imm).set_dst(0x01).push();
  706. assert_eq!(program.into_bytes(), &[0x75, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  707. }
  708. #[test]
  709. fn jump_on_dst_lower_than_const_signed() {
  710. let mut program = BpfCode::new();
  711. program.jump_conditional(Cond::LowerSigned, Source::Imm).set_dst(0x04).push();
  712. assert_eq!(program.into_bytes(), &[0xc5, 0x04, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  713. }
  714. #[test]
  715. fn jump_on_dst_lower_or_equals_src_signed() {
  716. let mut program = BpfCode::new();
  717. program.jump_conditional(Cond::LowerEqualsSigned, Source::Imm).set_dst(0x01).push();
  718. assert_eq!(program.into_bytes(), &[0xd5, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  719. }
  720. }
  721. }
  722. #[cfg(test)]
  723. mod store_instructions {
  724. use super::super::*;
  725. #[test]
  726. fn store_word_from_dst_into_immediate_address() {
  727. let mut program = BpfCode::new();
  728. program.store(MemSize::Word).set_dst(0x01).set_off(0x00_11).set_imm(0x11_22_33_44).push();
  729. assert_eq!(program.into_bytes(), &[0x62, 0x01, 0x11, 0x00, 0x44, 0x33, 0x22, 0x11]);
  730. }
  731. #[test]
  732. fn store_half_word_from_dst_into_immediate_address() {
  733. let mut program = BpfCode::new();
  734. program.store(MemSize::HalfWord).set_dst(0x02).set_off(0x11_22).push();
  735. assert_eq!(program.into_bytes(), &[0x6a, 0x02, 0x22, 0x11, 0x00, 0x00, 0x00, 0x00]);
  736. }
  737. #[test]
  738. fn store_byte_from_dst_into_immediate_address() {
  739. let mut program = BpfCode::new();
  740. program.store(MemSize::Byte).push();
  741. assert_eq!(program.into_bytes(), &[0x72, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  742. }
  743. #[test]
  744. fn store_double_word_from_dst_into_immediate_address() {
  745. let mut program = BpfCode::new();
  746. program.store(MemSize::DoubleWord).push();
  747. assert_eq!(program.into_bytes(), &[0x7a, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  748. }
  749. #[test]
  750. fn store_word_from_dst_into_src_address() {
  751. let mut program = BpfCode::new();
  752. program.store_x(MemSize::Word).set_dst(0x01).set_src(0x02).push();
  753. assert_eq!(program.into_bytes(), &[0x63, 0x21, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  754. }
  755. #[test]
  756. fn store_half_word_from_dst_into_src_address() {
  757. let mut program = BpfCode::new();
  758. program.store_x(MemSize::HalfWord).push();
  759. assert_eq!(program.into_bytes(), &[0x6b, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  760. }
  761. #[test]
  762. fn store_byte_from_dst_into_src_address() {
  763. let mut program = BpfCode::new();
  764. program.store_x(MemSize::Byte).push();
  765. assert_eq!(program.into_bytes(), &[0x73, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  766. }
  767. #[test]
  768. fn store_double_word_from_dst_into_src_address() {
  769. let mut program = BpfCode::new();
  770. program.store_x(MemSize::DoubleWord).push();
  771. assert_eq!(program.into_bytes(), &[0x7b, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  772. }
  773. }
  774. #[cfg(test)]
  775. mod load_instructions {
  776. #[cfg(test)]
  777. mod register {
  778. use super::super::super::*;
  779. #[test]
  780. fn load_word_from_set_src_with_offset() {
  781. let mut program = BpfCode::new();
  782. program.load_x(MemSize::Word).set_dst(0x01).set_src(0x02).set_off(0x00_02).push();
  783. assert_eq!(program.into_bytes(), &[0x61, 0x21, 0x02, 0x00, 0x00, 0x00, 0x00, 0x00]);
  784. }
  785. #[test]
  786. fn load_half_word_from_set_src_with_offset() {
  787. let mut program = BpfCode::new();
  788. program.load_x(MemSize::HalfWord).set_dst(0x02).set_src(0x01).set_off(0x11_22).push();
  789. assert_eq!(program.into_bytes(), &[0x69, 0x12, 0x22, 0x11, 0x00, 0x00, 0x00, 0x00]);
  790. }
  791. #[test]
  792. fn load_byte_from_set_src_with_offset() {
  793. let mut program = BpfCode::new();
  794. program.load_x(MemSize::Byte).set_dst(0x01).set_src(0x04).set_off(0x00_11).push();
  795. assert_eq!(program.into_bytes(), &[0x71, 0x41, 0x11, 0x00, 0x00, 0x00, 0x00, 0x00]);
  796. }
  797. #[test]
  798. fn load_double_word_from_set_src_with_offset() {
  799. let mut program = BpfCode::new();
  800. program.load_x(MemSize::DoubleWord).set_dst(0x04).set_src(0x05).set_off(0x44_55).push();
  801. assert_eq!(program.into_bytes(), &[0x79, 0x54, 0x55, 0x44, 0x00, 0x00, 0x00, 0x00]);
  802. }
  803. }
  804. #[cfg(test)]
  805. mod immediate {
  806. use super::super::super::*;
  807. #[test]
  808. fn load_double_word() {
  809. let mut program = BpfCode::new();
  810. program.load(MemSize::DoubleWord).set_dst(0x01).set_imm(0x00_01_02_03).push();
  811. assert_eq!(program.into_bytes(), &[0x18, 0x01, 0x00, 0x00, 0x03, 0x02, 0x01, 0x00]);
  812. }
  813. #[test]
  814. fn load_abs_word() {
  815. let mut program = BpfCode::new();
  816. program.load_abs(MemSize::Word).push();
  817. assert_eq!(program.into_bytes(), &[0x20, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  818. }
  819. #[test]
  820. fn load_abs_half_word() {
  821. let mut program = BpfCode::new();
  822. program.load_abs(MemSize::HalfWord).set_dst(0x05).push();
  823. assert_eq!(program.into_bytes(), &[0x28, 0x05, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  824. }
  825. #[test]
  826. fn load_abs_byte() {
  827. let mut program = BpfCode::new();
  828. program.load_abs(MemSize::Byte).set_dst(0x01).push();
  829. assert_eq!(program.into_bytes(), &[0x30, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  830. }
  831. #[test]
  832. fn load_abs_double_word() {
  833. let mut program = BpfCode::new();
  834. program.load_abs(MemSize::DoubleWord).set_dst(0x01).set_imm(0x01_02_03_04).push();
  835. assert_eq!(program.into_bytes(), &[0x38, 0x01, 0x00, 0x00, 0x04, 0x03, 0x02, 0x01]);
  836. }
  837. #[test]
  838. fn load_indirect_word() {
  839. let mut program = BpfCode::new();
  840. program.load_ind(MemSize::Word).push();
  841. assert_eq!(program.into_bytes(), &[0x40, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  842. }
  843. #[test]
  844. fn load_indirect_half_word() {
  845. let mut program = BpfCode::new();
  846. program.load_ind(MemSize::HalfWord).push();
  847. assert_eq!(program.into_bytes(), &[0x48, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  848. }
  849. #[test]
  850. fn load_indirect_byte() {
  851. let mut program = BpfCode::new();
  852. program.load_ind(MemSize::Byte).push();
  853. assert_eq!(program.into_bytes(), &[0x50, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  854. }
  855. #[test]
  856. fn load_indirect_double_word() {
  857. let mut program = BpfCode::new();
  858. program.load_ind(MemSize::DoubleWord).push();
  859. assert_eq!(program.into_bytes(), &[0x58, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  860. }
  861. }
  862. }
  863. #[cfg(test)]
  864. mod byte_swap_instructions {
  865. use super::super::*;
  866. #[test]
  867. fn convert_host_to_little_endian_16bits() {
  868. let mut program = BpfCode::new();
  869. program.swap_bytes(Endian::Little).set_dst(0x01).set_imm(0x00_00_00_10).push();
  870. assert_eq!(program.into_bytes(), &[0xd4, 0x01, 0x00, 0x00, 0x10, 0x00, 0x00, 0x00]);
  871. }
  872. #[test]
  873. fn convert_host_to_little_endian_32bits() {
  874. let mut program = BpfCode::new();
  875. program.swap_bytes(Endian::Little).set_dst(0x02).set_imm(0x00_00_00_20).push();
  876. assert_eq!(program.into_bytes(), &[0xd4, 0x02, 0x00, 0x00, 0x20, 0x00, 0x00, 0x00]);
  877. }
  878. #[test]
  879. fn convert_host_to_little_endian_64bit() {
  880. let mut program = BpfCode::new();
  881. program.swap_bytes(Endian::Little).set_dst(0x03).set_imm(0x00_00_00_40).push();
  882. assert_eq!(program.into_bytes(), &[0xd4, 0x03, 0x00, 0x00, 0x40, 0x00, 0x00, 0x00]);
  883. }
  884. #[test]
  885. fn convert_host_to_big_endian_16bits() {
  886. let mut program = BpfCode::new();
  887. program.swap_bytes(Endian::Big).set_dst(0x01).set_imm(0x00_00_00_10).push();
  888. assert_eq!(program.into_bytes(), &[0xdc, 0x01, 0x00, 0x00, 0x10, 0x00, 0x00, 0x00]);
  889. }
  890. #[test]
  891. fn convert_host_to_big_endian_32bits() {
  892. let mut program = BpfCode::new();
  893. program.swap_bytes(Endian::Big).set_dst(0x02).set_imm(0x00_00_00_20).push();
  894. assert_eq!(program.into_bytes(), &[0xdc, 0x02, 0x00, 0x00, 0x20, 0x00, 0x00, 0x00]);
  895. }
  896. #[test]
  897. fn convert_host_to_big_endian_64bit() {
  898. let mut program = BpfCode::new();
  899. program.swap_bytes(Endian::Big).set_dst(0x03).set_imm(0x00_00_00_40).push();
  900. assert_eq!(program.into_bytes(), &[0xdc, 0x03, 0x00, 0x00, 0x40, 0x00, 0x00, 0x00]);
  901. }
  902. }
  903. #[cfg(test)]
  904. mod moves_instructions {
  905. #[cfg(test)]
  906. mod arch_x64 {
  907. #[cfg(test)]
  908. mod immediate {
  909. use super::super::super::super::*;
  910. #[test]
  911. fn move_and_add_const_to_register() {
  912. let mut program = BpfCode::new();
  913. program.add(Source::Imm, Arch::X64).set_dst(0x02).set_imm(0x01_02_03_04).push();
  914. assert_eq!(program.into_bytes(), &[0x07, 0x02, 0x00, 0x00, 0x04, 0x03, 0x02, 0x01]);
  915. }
  916. #[test]
  917. fn move_sub_const_to_register() {
  918. let mut program = BpfCode::new();
  919. program.sub(Source::Imm, Arch::X64).set_dst(0x04).set_imm(0x00_01_02_03).push();
  920. assert_eq!(program.into_bytes(), &[0x17, 0x04, 0x00, 0x00, 0x03, 0x02, 0x01, 0x00]);
  921. }
  922. #[test]
  923. fn move_mul_const_to_register() {
  924. let mut program = BpfCode::new();
  925. program.mul(Source::Imm, Arch::X64).set_dst(0x05).set_imm(0x04_03_02_01).push();
  926. assert_eq!(program.into_bytes(), &[0x27, 0x05, 0x00, 0x00, 0x01, 0x02, 0x03, 0x04]);
  927. }
  928. #[test]
  929. fn move_div_constant_to_register() {
  930. let mut program = BpfCode::new();
  931. program.div(Source::Imm, Arch::X64).set_dst(0x02).set_imm(0x00_ff_00_ff).push();
  932. assert_eq!(program.into_bytes(), &[0x37, 0x02, 0x00, 0x00, 0xff, 0x00, 0xff, 0x00]);
  933. }
  934. #[test]
  935. fn move_bit_or_const_to_register() {
  936. let mut program = BpfCode::new();
  937. program.bit_or(Source::Imm, Arch::X64).set_dst(0x02).set_imm(0x00_11_00_22).push();
  938. assert_eq!(program.into_bytes(), &[0x47, 0x02, 0x00, 0x00, 0x22, 0x00, 0x11, 0x00]);
  939. }
  940. #[test]
  941. fn move_bit_and_const_to_register() {
  942. let mut program = BpfCode::new();
  943. program.bit_and(Source::Imm, Arch::X64).set_dst(0x02).set_imm(0x11_22_33_44).push();
  944. assert_eq!(program.into_bytes(), &[0x57, 0x02, 0x00, 0x00, 0x44, 0x33, 0x22, 0x11]);
  945. }
  946. #[test]
  947. fn move_left_shift_const_to_register() {
  948. let mut program = BpfCode::new();
  949. program.left_shift(Source::Imm, Arch::X64).set_dst(0x01).push();
  950. assert_eq!(program.into_bytes(), &[0x67, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  951. }
  952. #[test]
  953. fn move_logical_right_shift_const_to_register() {
  954. let mut program = BpfCode::new();
  955. program.right_shift(Source::Imm, Arch::X64).set_dst(0x01).push();
  956. assert_eq!(program.into_bytes(), &[0x77, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  957. }
  958. #[test]
  959. fn move_negate_register() {
  960. let mut program = BpfCode::new();
  961. program.negate(Arch::X64).set_dst(0x02).push();
  962. assert_eq!(program.into_bytes(), &[0x87, 0x02, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  963. }
  964. #[test]
  965. fn move_mod_const_to_register() {
  966. let mut program = BpfCode::new();
  967. program.modulo(Source::Imm, Arch::X64).set_dst(0x02).push();
  968. assert_eq!(program.into_bytes(), &[0x97, 0x02, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  969. }
  970. #[test]
  971. fn move_bit_xor_const_to_register() {
  972. let mut program = BpfCode::new();
  973. program.bit_xor(Source::Imm, Arch::X64).set_dst(0x03).push();
  974. assert_eq!(program.into_bytes(), &[0xa7, 0x03, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  975. }
  976. #[test]
  977. fn move_const_to_register() {
  978. let mut program = BpfCode::new();
  979. program.mov(Source::Imm, Arch::X64).set_dst(0x01).set_imm(0x00_00_00_FF).push();
  980. assert_eq!(program.into_bytes(), &[0xb7, 0x01, 0x00, 0x00, 0xff, 0x00, 0x00, 0x00]);
  981. }
  982. #[test]
  983. fn move_signed_right_shift_const_to_register() {
  984. let mut program = BpfCode::new();
  985. program.signed_right_shift(Source::Imm, Arch::X64).set_dst(0x05).push();
  986. assert_eq!(program.into_bytes(), &[0xc7, 0x05, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  987. }
  988. }
  989. #[cfg(test)]
  990. mod register {
  991. use super::super::super::super::*;
  992. #[test]
  993. fn move_and_add_from_register() {
  994. let mut program = BpfCode::new();
  995. program.add(Source::Reg, Arch::X64).set_dst(0x03).set_src(0x02).push();
  996. assert_eq!(program.into_bytes(), &[0x0f, 0x23, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  997. }
  998. #[test]
  999. fn move_sub_from_register_to_register() {
  1000. let mut program = BpfCode::new();
  1001. program.sub(Source::Reg, Arch::X64).set_dst(0x03).set_src(0x04).push();
  1002. assert_eq!(program.into_bytes(), &[0x1f, 0x43, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  1003. }
  1004. #[test]
  1005. fn move_mul_from_register_to_register() {
  1006. let mut program = BpfCode::new();
  1007. program.mul(Source::Reg, Arch::X64).set_dst(0x04).set_src(0x03).push();
  1008. assert_eq!(program.into_bytes(), &[0x2f, 0x34, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  1009. }
  1010. #[test]
  1011. fn move_div_from_register_to_register() {
  1012. let mut program = BpfCode::new();
  1013. program.div(Source::Reg, Arch::X64).set_dst(0x01).set_src(0x00).push();
  1014. assert_eq!(program.into_bytes(), &[0x3f, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  1015. }
  1016. #[test]
  1017. fn move_bit_or_from_register_to_register() {
  1018. let mut program = BpfCode::new();
  1019. program.bit_or(Source::Reg, Arch::X64).set_dst(0x03).set_src(0x01).push();
  1020. assert_eq!(program.into_bytes(), &[0x4f, 0x13, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  1021. }
  1022. #[test]
  1023. fn move_bit_and_from_register_to_register() {
  1024. let mut program = BpfCode::new();
  1025. program.bit_and(Source::Reg, Arch::X64).set_dst(0x03).set_src(0x02).push();
  1026. assert_eq!(program.into_bytes(), &[0x5f, 0x23, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  1027. }
  1028. #[test]
  1029. fn move_left_shift_from_register_to_register() {
  1030. let mut program = BpfCode::new();
  1031. program.left_shift(Source::Reg, Arch::X64).set_dst(0x02).set_src(0x03).push();
  1032. assert_eq!(program.into_bytes(), &[0x6f, 0x32, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  1033. }
  1034. #[test]
  1035. fn move_logical_right_shift_from_register_to_register() {
  1036. let mut program = BpfCode::new();
  1037. program.right_shift(Source::Reg, Arch::X64).set_dst(0x02).set_src(0x04).push();
  1038. assert_eq!(program.into_bytes(), &[0x7f, 0x42, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  1039. }
  1040. #[test]
  1041. fn move_mod_from_register_to_register() {
  1042. let mut program = BpfCode::new();
  1043. program.modulo(Source::Reg, Arch::X64).set_dst(0x01).set_src(0x02).push();
  1044. assert_eq!(program.into_bytes(), &[0x9f, 0x21, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  1045. }
  1046. #[test]
  1047. fn move_bit_xor_from_register_to_register() {
  1048. let mut program = BpfCode::new();
  1049. program.bit_xor(Source::Reg, Arch::X64).set_dst(0x02).set_src(0x04).push();
  1050. assert_eq!(program.into_bytes(), &[0xaf, 0x42, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  1051. }
  1052. #[test]
  1053. fn move_from_register_to_another_register() {
  1054. let mut program = BpfCode::new();
  1055. program.mov(Source::Reg, Arch::X64).set_src(0x01).push();
  1056. assert_eq!(program.into_bytes(), &[0xbf, 0x10, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  1057. }
  1058. #[test]
  1059. fn move_signed_right_shift_from_register_to_register() {
  1060. let mut program = BpfCode::new();
  1061. program.signed_right_shift(Source::Reg, Arch::X64).set_dst(0x02).set_src(0x03).push();
  1062. assert_eq!(program.into_bytes(), &[0xcf, 0x32, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  1063. }
  1064. }
  1065. }
  1066. #[cfg(test)]
  1067. mod arch_x32 {
  1068. #[cfg(test)]
  1069. mod immediate {
  1070. use super::super::super::super::*;
  1071. #[test]
  1072. fn move_and_add_const_to_register() {
  1073. let mut program = BpfCode::new();
  1074. program.add(Source::Imm, Arch::X32).set_dst(0x02).set_imm(0x01_02_03_04).push();
  1075. assert_eq!(program.into_bytes(), &[0x04, 0x02, 0x00, 0x00, 0x04, 0x03, 0x02, 0x01]);
  1076. }
  1077. #[test]
  1078. fn move_sub_const_to_register() {
  1079. let mut program = BpfCode::new();
  1080. program.sub(Source::Imm, Arch::X32).set_dst(0x04).set_imm(0x00_01_02_03).push();
  1081. assert_eq!(program.into_bytes(), &[0x14, 0x04, 0x00, 0x00, 0x03, 0x02, 0x01, 0x00]);
  1082. }
  1083. #[test]
  1084. fn move_mul_const_to_register() {
  1085. let mut program = BpfCode::new();
  1086. program.mul(Source::Imm, Arch::X32).set_dst(0x05).set_imm(0x04_03_02_01).push();
  1087. assert_eq!(program.into_bytes(), &[0x24, 0x05, 0x00, 0x00, 0x01, 0x02, 0x03, 0x04]);
  1088. }
  1089. #[test]
  1090. fn move_div_constant_to_register() {
  1091. let mut program = BpfCode::new();
  1092. program.div(Source::Imm, Arch::X32).set_dst(0x02).set_imm(0x00_ff_00_ff).push();
  1093. assert_eq!(program.into_bytes(), &[0x34, 0x02, 0x00, 0x00, 0xff, 0x00, 0xff, 0x00]);
  1094. }
  1095. #[test]
  1096. fn move_bit_or_const_to_register() {
  1097. let mut program = BpfCode::new();
  1098. program.bit_or(Source::Imm, Arch::X32).set_dst(0x02).set_imm(0x00_11_00_22).push();
  1099. assert_eq!(program.into_bytes(), &[0x44, 0x02, 0x00, 0x00, 0x22, 0x00, 0x11, 0x00]);
  1100. }
  1101. #[test]
  1102. fn move_bit_and_const_to_register() {
  1103. let mut program = BpfCode::new();
  1104. program.bit_and(Source::Imm, Arch::X32).set_dst(0x02).set_imm(0x11_22_33_44).push();
  1105. assert_eq!(program.into_bytes(), &[0x54, 0x02, 0x00, 0x00, 0x44, 0x33, 0x22, 0x11]);
  1106. }
  1107. #[test]
  1108. fn move_left_shift_const_to_register() {
  1109. let mut program = BpfCode::new();
  1110. program.left_shift(Source::Imm, Arch::X32).set_dst(0x01).push();
  1111. assert_eq!(program.into_bytes(), &[0x64, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  1112. }
  1113. #[test]
  1114. fn move_logical_right_shift_const_to_register() {
  1115. let mut program = BpfCode::new();
  1116. program.right_shift(Source::Imm, Arch::X32).set_dst(0x01).push();
  1117. assert_eq!(program.into_bytes(), &[0x74, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  1118. }
  1119. #[test]
  1120. fn move_negate_register() {
  1121. let mut program = BpfCode::new();
  1122. program.negate(Arch::X32).set_dst(0x02).push();
  1123. assert_eq!(program.into_bytes(), &[0x84, 0x02, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  1124. }
  1125. #[test]
  1126. fn move_mod_const_to_register() {
  1127. let mut program = BpfCode::new();
  1128. program.modulo(Source::Imm, Arch::X32).set_dst(0x02).push();
  1129. assert_eq!(program.into_bytes(), &[0x94, 0x02, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  1130. }
  1131. #[test]
  1132. fn move_bit_xor_const_to_register() {
  1133. let mut program = BpfCode::new();
  1134. program.bit_xor(Source::Imm, Arch::X32).set_dst(0x03).push();
  1135. assert_eq!(program.into_bytes(), &[0xa4, 0x03, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  1136. }
  1137. #[test]
  1138. fn move_const_to_register() {
  1139. let mut program = BpfCode::new();
  1140. program.mov(Source::Imm, Arch::X32).set_dst(0x01).set_imm(0x00_00_00_FF).push();
  1141. assert_eq!(program.into_bytes(), &[0xb4, 0x01, 0x00, 0x00, 0xff, 0x00, 0x00, 0x00]);
  1142. }
  1143. #[test]
  1144. fn move_signed_right_shift_const_to_register() {
  1145. let mut program = BpfCode::new();
  1146. program.signed_right_shift(Source::Imm, Arch::X32).set_dst(0x05).push();
  1147. assert_eq!(program.into_bytes(), &[0xc4, 0x05, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  1148. }
  1149. }
  1150. #[cfg(test)]
  1151. mod register {
  1152. use super::super::super::super::*;
  1153. #[test]
  1154. fn move_and_add_from_register() {
  1155. let mut program = BpfCode::new();
  1156. program.add(Source::Reg, Arch::X32).set_dst(0x03).set_src(0x02).push();
  1157. assert_eq!(program.into_bytes(), &[0x0c, 0x23, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  1158. }
  1159. #[test]
  1160. fn move_sub_from_register_to_register() {
  1161. let mut program = BpfCode::new();
  1162. program.sub(Source::Reg, Arch::X32).set_dst(0x03).set_src(0x04).push();
  1163. assert_eq!(program.into_bytes(), &[0x1c, 0x43, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  1164. }
  1165. #[test]
  1166. fn move_mul_from_register_to_register() {
  1167. let mut program = BpfCode::new();
  1168. program.mul(Source::Reg, Arch::X32).set_dst(0x04).set_src(0x03).push();
  1169. assert_eq!(program.into_bytes(), &[0x2c, 0x34, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  1170. }
  1171. #[test]
  1172. fn move_div_from_register_to_register() {
  1173. let mut program = BpfCode::new();
  1174. program.div(Source::Reg, Arch::X32).set_dst(0x01).set_src(0x00).push();
  1175. assert_eq!(program.into_bytes(), &[0x3c, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  1176. }
  1177. #[test]
  1178. fn move_bit_or_from_register_to_register() {
  1179. let mut program = BpfCode::new();
  1180. program.bit_or(Source::Reg, Arch::X32).set_dst(0x03).set_src(0x01).push();
  1181. assert_eq!(program.into_bytes(), &[0x4c, 0x13, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  1182. }
  1183. #[test]
  1184. fn move_bit_and_from_register_to_register() {
  1185. let mut program = BpfCode::new();
  1186. program.bit_and(Source::Reg, Arch::X32).set_dst(0x03).set_src(0x02).push();
  1187. assert_eq!(program.into_bytes(), &[0x5c, 0x23, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  1188. }
  1189. #[test]
  1190. fn move_left_shift_from_register_to_register() {
  1191. let mut program = BpfCode::new();
  1192. program.left_shift(Source::Reg, Arch::X32).set_dst(0x02).set_src(0x03).push();
  1193. assert_eq!(program.into_bytes(), &[0x6c, 0x32, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  1194. }
  1195. #[test]
  1196. fn move_logical_right_shift_from_register_to_register() {
  1197. let mut program = BpfCode::new();
  1198. program.right_shift(Source::Reg, Arch::X32).set_dst(0x02).set_src(0x04).push();
  1199. assert_eq!(program.into_bytes(), &[0x7c, 0x42, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  1200. }
  1201. #[test]
  1202. fn move_mod_from_register_to_register() {
  1203. let mut program = BpfCode::new();
  1204. program.modulo(Source::Reg, Arch::X32).set_dst(0x01).set_src(0x02).push();
  1205. assert_eq!(program.into_bytes(), &[0x9c, 0x21, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  1206. }
  1207. #[test]
  1208. fn move_bit_xor_from_register_to_register() {
  1209. let mut program = BpfCode::new();
  1210. program.bit_xor(Source::Reg, Arch::X32).set_dst(0x02).set_src(0x04).push();
  1211. assert_eq!(program.into_bytes(), &[0xac, 0x42, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  1212. }
  1213. #[test]
  1214. fn move_from_register_to_another_register() {
  1215. let mut program = BpfCode::new();
  1216. program.mov(Source::Reg, Arch::X32).set_dst(0x00).set_src(0x01).push();
  1217. assert_eq!(program.into_bytes(), &[0xbc, 0x10, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  1218. }
  1219. #[test]
  1220. fn move_signed_right_shift_from_register_to_register() {
  1221. let mut program = BpfCode::new();
  1222. program.signed_right_shift(Source::Reg, Arch::X32).set_dst(0x02).set_src(0x03).push();
  1223. assert_eq!(program.into_bytes(), &[0xcc, 0x32, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00]);
  1224. }
  1225. }
  1226. }
  1227. }
  1228. #[cfg(test)]
  1229. mod programs {
  1230. use super::super::*;
  1231. #[test]
  1232. fn example_from_assembler() {
  1233. let mut program = BpfCode::new();
  1234. program.add(Source::Imm, Arch::X64).set_dst(1).set_imm(0x605).push()
  1235. .mov(Source::Imm, Arch::X64).set_dst(2).set_imm(0x32).push()
  1236. .mov(Source::Reg, Arch::X64).set_src(0).set_dst(1).push()
  1237. .swap_bytes(Endian::Big).set_dst(0).set_imm(0x10).push()
  1238. .negate(Arch::X64).set_dst(2).push()
  1239. .exit().push();
  1240. let bytecode = program.into_bytes();
  1241. let ref_prog = &[
  1242. 0x07, 0x01, 0x00, 0x00, 0x05, 0x06, 0x00, 0x00,
  1243. 0xb7, 0x02, 0x00, 0x00, 0x32, 0x00, 0x00, 0x00,
  1244. 0xbf, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
  1245. 0xdc, 0x00, 0x00, 0x00, 0x10, 0x00, 0x00, 0x00,
  1246. 0x87, 0x02, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
  1247. 0x95, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00
  1248. ];
  1249. // cargo says: "`[{integer}; 48]` cannot be formatted using `{:?}`
  1250. // because it doesn't implement `std::fmt::Debug`"
  1251. // So let's check in two steps.
  1252. assert_eq!(bytecode[..32], ref_prog[..32]);
  1253. assert_eq!(bytecode[33..], ref_prog[33..]);
  1254. }
  1255. }
  1256. }