libTriton version 1.0 build 1592
Loading...
Searching...
No Matches
arm32Semantics.hpp
Go to the documentation of this file.
1
2/*
3** Copyright (C) - Triton
4**
5** This program is under the terms of the Apache License 2.0.
6*/
7
8#ifndef TRITON_ARM32SEMANTICS_H
9#define TRITON_ARM32SEMANTICS_H
10
11#include <triton/archEnums.hpp>
12#include <triton/architecture.hpp>
13#include <triton/dllexport.hpp>
14#include <triton/instruction.hpp>
15#include <triton/semanticsInterface.hpp>
16#include <triton/symbolicEngine.hpp>
17#include <triton/taintEngine.hpp>
18
19
20
22namespace triton {
29 namespace arch {
37 namespace arm {
45 namespace arm32 {
54 class Arm32Semantics : public SemanticsInterface {
55 private:
57 triton::arch::Architecture* architecture;
58
60 triton::engines::symbolic::SymbolicEngine* symbolicEngine;
61
63 triton::engines::taint::TaintEngine* taintEngine;
64
66 triton::ast::SharedAstContext astCtxt;
67
69 triton::arch::exception_e exception;
70
71 public:
73 TRITON_EXPORT Arm32Semantics(triton::arch::Architecture* architecture,
74 triton::engines::symbolic::SymbolicEngine* symbolicEngine,
75 triton::engines::taint::TaintEngine* taintEngine,
76 const triton::ast::SharedAstContext& astCtxt);
77
79 TRITON_EXPORT triton::arch::exception_e buildSemantics(triton::arch::Instruction& inst);
80
81 private:
83 triton::uint32 ror(triton::uint32 value, triton::uint32 count);
84
86 void updateExecutionState(triton::arch::OperandWrapper& dst, const triton::ast::SharedAbstractNode& node);
87
89 void exchangeInstructionSet(triton::arch::OperandWrapper& op, const triton::ast::SharedAbstractNode& node);
90
92 triton::ast::SharedAbstractNode buildConditionalSemantics(triton::arch::Instruction& inst, triton::arch::OperandWrapper& dst, const triton::ast::SharedAbstractNode& opNode);
93
95 triton::ast::SharedAbstractNode adjustISSB(const triton::ast::SharedAbstractNode& node);
96
98 triton::ast::SharedAbstractNode clearISSB(const triton::ast::SharedAbstractNode& node);
99
101 triton::ast::SharedAbstractNode getArm32SourceBaseOperandAst(triton::arch::Instruction& inst, triton::arch::OperandWrapper& op);
102
104 triton::ast::SharedAbstractNode getArm32SourceOperandAst(triton::arch::Instruction& inst, triton::arch::OperandWrapper& op);
105
107 triton::uint64 alignAddStack_s(triton::arch::Instruction& inst, const triton::ast::SharedAbstractNode& cond, triton::uint32 delta);
108
110 triton::uint64 alignSubStack_s(triton::arch::Instruction& inst, const triton::ast::SharedAbstractNode& cond, triton::uint32 delta);
111
113 triton::ast::SharedAbstractNode getCodeConditionAst(triton::arch::Instruction& inst);
114
116 void controlFlow_s(triton::arch::Instruction& inst);
117
119 void controlFlow_s(triton::arch::Instruction& inst,
120 const triton::ast::SharedAbstractNode& cond,
121 triton::arch::OperandWrapper& dst);
122
124 void controlFlow_s(triton::arch::Instruction& inst,
125 const triton::ast::SharedAbstractNode& cond,
126 triton::arch::OperandWrapper& dst1,
127 triton::arch::OperandWrapper& dst2);
128
130 bool getCodeConditionTaintState(const triton::arch::Instruction& inst);
131
133 void spreadTaint(triton::arch::Instruction& inst,
134 const triton::ast::SharedAbstractNode& cond,
135 const triton::engines::symbolic::SharedSymbolicExpression& expr,
136 const triton::arch::OperandWrapper& operand,
137 bool taint);
138
139 /* Generic flags computation ------------------------------------- */
140
142 void nf_s(triton::arch::Instruction& inst,
143 const triton::ast::SharedAbstractNode& cond,
144 const triton::engines::symbolic::SharedSymbolicExpression& parent,
145 triton::arch::OperandWrapper& dst);
146
148 void zf_s(triton::arch::Instruction& inst,
149 const triton::ast::SharedAbstractNode& cond,
150 const triton::engines::symbolic::SharedSymbolicExpression& parent,
151 triton::arch::OperandWrapper& dst);
152
153 /* Specific flags computation ------------------------------------ */
154
156 void cfAdd_s(triton::arch::Instruction& inst,
157 const triton::ast::SharedAbstractNode& cond,
158 const triton::engines::symbolic::SharedSymbolicExpression& parent,
159 triton::arch::OperandWrapper& dst,
160 triton::ast::SharedAbstractNode& op1,
161 triton::ast::SharedAbstractNode& op2);
162
164 void cfSub_s(triton::arch::Instruction& inst,
165 const triton::ast::SharedAbstractNode& cond,
166 const triton::engines::symbolic::SharedSymbolicExpression& parent,
167 triton::arch::OperandWrapper& dst,
168 triton::ast::SharedAbstractNode& op1,
169 triton::ast::SharedAbstractNode& op2);
170
172 void nfSmull_s(triton::arch::Instruction& inst,
173 const triton::ast::SharedAbstractNode& cond,
174 const triton::engines::symbolic::SharedSymbolicExpression& parent1,
175 const triton::engines::symbolic::SharedSymbolicExpression& parent2,
176 triton::arch::OperandWrapper& dst1,
177 triton::arch::OperandWrapper& dst2);
178
180 void zfSmull_s(triton::arch::Instruction& inst,
181 const triton::ast::SharedAbstractNode& cond,
182 const triton::engines::symbolic::SharedSymbolicExpression& parent1,
183 const triton::engines::symbolic::SharedSymbolicExpression& parent2,
184 triton::arch::OperandWrapper& dst1,
185 triton::arch::OperandWrapper& dst2);
186
188 void vfAdd_s(triton::arch::Instruction& inst,
189 const triton::ast::SharedAbstractNode& cond,
190 const triton::engines::symbolic::SharedSymbolicExpression& parent,
191 triton::arch::OperandWrapper& dst,
192 triton::ast::SharedAbstractNode& op1,
193 triton::ast::SharedAbstractNode& op2);
194
196 void vfSub_s(triton::arch::Instruction& inst,
197 const triton::ast::SharedAbstractNode& cond,
198 const triton::engines::symbolic::SharedSymbolicExpression& parent,
199 triton::arch::OperandWrapper& dst,
200 triton::ast::SharedAbstractNode& op1,
201 triton::ast::SharedAbstractNode& op2);
202
204 void cfBitwise_s(triton::arch::Instruction& inst,
205 const triton::ast::SharedAbstractNode& cond,
206 const triton::engines::symbolic::SharedSymbolicExpression& parent,
207 triton::arch::OperandWrapper& src);
208
210 void cfShift_s(triton::arch::Instruction& inst,
211 const triton::ast::SharedAbstractNode& cond,
212 const triton::engines::symbolic::SharedSymbolicExpression& parent,
213 const triton::ast::SharedAbstractNode& op1,
214 triton::arch::OperandWrapper& src,
215 const triton::arch::arm::shift_e type);
216
218 void cfAsr_s(triton::arch::Instruction& inst,
219 const triton::ast::SharedAbstractNode& cond,
220 const triton::engines::symbolic::SharedSymbolicExpression& parent,
221 const triton::ast::SharedAbstractNode& op1,
222 triton::arch::OperandWrapper& src);
223
225 void cfLsl_s(triton::arch::Instruction& inst,
226 const triton::ast::SharedAbstractNode& cond,
227 const triton::engines::symbolic::SharedSymbolicExpression& parent,
228 const triton::ast::SharedAbstractNode& op1,
229 triton::arch::OperandWrapper& src);
230
232 void cfLsr_s(triton::arch::Instruction& inst,
233 const triton::ast::SharedAbstractNode& cond,
234 const triton::engines::symbolic::SharedSymbolicExpression& parent,
235 const triton::ast::SharedAbstractNode& op1,
236 triton::arch::OperandWrapper& src);
237
239 void cfRor_s(triton::arch::Instruction& inst,
240 const triton::ast::SharedAbstractNode& cond,
241 const triton::engines::symbolic::SharedSymbolicExpression& parent,
242 const triton::ast::SharedAbstractNode& op1,
243 triton::arch::OperandWrapper& src);
244
246 void cfRrx_s(triton::arch::Instruction& inst,
247 const triton::ast::SharedAbstractNode& cond,
248 const triton::engines::symbolic::SharedSymbolicExpression& parent,
249 const triton::ast::SharedAbstractNode& op1,
250 triton::arch::OperandWrapper& src);
251
253 triton::ast::SharedAbstractNode getShiftCAst(const triton::ast::SharedAbstractNode& node,
254 const triton::arch::arm::shift_e type,
255 const triton::ast::SharedAbstractNode& shiftAmount);
256
258 triton::arch::arm::shift_e getShiftCBaseType(const triton::arch::arm::ArmOperandProperties& shift);
259
261 triton::ast::SharedAbstractNode getShiftCAmountAst(const triton::arch::arm::ArmOperandProperties& shift);
262
263 /* Instruction semantics ----------------------------------------- */
264
266 void adc_s(triton::arch::Instruction& inst);
267
269 void add_s(triton::arch::Instruction& inst);
270
272 void adr_s(triton::arch::Instruction& inst);
273
275 void and_s(triton::arch::Instruction& inst);
276
278 void asr_s(triton::arch::Instruction& inst);
279
281 void b_s(triton::arch::Instruction& inst);
282
284 void bfc_s(triton::arch::Instruction& inst);
285
287 void bfi_s(triton::arch::Instruction& inst);
288
290 void bic_s(triton::arch::Instruction& inst);
291
293 void bl_s(triton::arch::Instruction& inst, bool exchange);
294
296 void bx_s(triton::arch::Instruction& inst);
297
299 void cbz_s(triton::arch::Instruction& inst);
300
302 void cbnz_s(triton::arch::Instruction& inst);
303
305 void clz_s(triton::arch::Instruction& inst);
306
308 void cmn_s(triton::arch::Instruction& inst);
309
311 void cmp_s(triton::arch::Instruction& inst);
312
314 void eor_s(triton::arch::Instruction& inst);
315
317 void it_s(triton::arch::Instruction& inst);
318
320 void ldm_s(triton::arch::Instruction& inst);
321
323 void ldr_s(triton::arch::Instruction& inst);
324
326 void ldrb_s(triton::arch::Instruction& inst);
327
329 void ldrex_s(triton::arch::Instruction& inst);
330
332 void ldrh_s(triton::arch::Instruction& inst);
333
335 void ldrsb_s(triton::arch::Instruction& inst);
336
338 void ldrsh_s(triton::arch::Instruction& inst);
339
341 void ldrd_s(triton::arch::Instruction& inst);
342
344 void lsl_s(triton::arch::Instruction& inst);
345
347 void lsr_s(triton::arch::Instruction& inst);
348
350 void mla_s(triton::arch::Instruction& inst);
351
353 void mls_s(triton::arch::Instruction& inst);
354
356 void mov_s(triton::arch::Instruction& inst);
357
359 void movt_s(triton::arch::Instruction& inst);
360
362 void mul_s(triton::arch::Instruction& inst);
363
365 void mvn_s(triton::arch::Instruction& inst);
366
368 void nop_s(triton::arch::Instruction& inst);
369
371 void orn_s(triton::arch::Instruction& inst);
372
374 void orr_s(triton::arch::Instruction& inst);
375
377 void pop_s(triton::arch::Instruction& inst);
378
380 void push_s(triton::arch::Instruction& inst);
381
383 void rbit_s(triton::arch::Instruction& inst);
384
386 void rev16_s(triton::arch::Instruction& inst);
387
389 void rev_s(triton::arch::Instruction& inst);
390
392 void ror_s(triton::arch::Instruction& inst);
393
395 void rrx_s(triton::arch::Instruction& inst);
396
398 void rsb_s(triton::arch::Instruction& inst);
399
401 void rsc_s(triton::arch::Instruction& inst);
402
404 void sbc_s(triton::arch::Instruction& inst);
405
407 void sbfx_s(triton::arch::Instruction& inst);
408
410 void sdiv_s(triton::arch::Instruction& inst);
411
413 void smlabb_s(triton::arch::Instruction& inst);
414
416 void smlabt_s(triton::arch::Instruction& inst);
417
419 void smlatb_s(triton::arch::Instruction& inst);
420
422 void smlatt_s(triton::arch::Instruction& inst);
423
425 void smull_s(triton::arch::Instruction& inst);
426
428 void stm_s(triton::arch::Instruction& inst);
429
431 void stmib_s(triton::arch::Instruction& inst);
432
434 void str_s(triton::arch::Instruction& inst);
435
437 void strb_s(triton::arch::Instruction& inst);
438
440 void strd_s(triton::arch::Instruction& inst);
441
443 void strex_s(triton::arch::Instruction& inst);
444
446 void strh_s(triton::arch::Instruction& inst);
447
449 void sub_s(triton::arch::Instruction& inst);
450
452 void sxtb_s(triton::arch::Instruction &inst);
453
455 void sxth_s(triton::arch::Instruction &inst);
456
458 void tst_s(triton::arch::Instruction& inst);
459
461 void tbb_s(triton::arch::Instruction& inst);
462
464 void tbh_s(triton::arch::Instruction& inst);
465
467 void teq_s(triton::arch::Instruction& inst);
468
470 void ubfx_s(triton::arch::Instruction &inst);
471
473 void udiv_s(triton::arch::Instruction& inst);
474
476 void umull_s(triton::arch::Instruction& inst);
477
479 void uxtb_s(triton::arch::Instruction & inst);
480
482 void uxth_s(triton::arch::Instruction & inst);
483
484 };
485
487 };
489 };
491 };
493};
494
495#endif /* TRITON_ARM32SEMANTICS_H */
triton::arch::Architecture
The abstract architecture class.
Definition architecture.hpp:45
triton::arch::Instruction
This class is used to represent an instruction.
Definition instruction.hpp:48
triton::arch::OperandWrapper
This class is used as operand wrapper.
Definition operandWrapper.hpp:38
triton::arch::SemanticsInterface
This interface is used as abstract semantics interface. All ISA semantics must use this interface.
Definition semanticsInterface.hpp:34
triton::arch::arm::ArmOperandProperties
This class is used to represent specific properties of an Arm operand.
Definition armOperandProperties.hpp:45
triton::arch::arm::arm32::Arm32Semantics::Arm32Semantics
TRITON_EXPORT Arm32Semantics(triton::arch::Architecture *architecture, triton::engines::symbolic::SymbolicEngine *symbolicEngine, triton::engines::taint::TaintEngine *taintEngine, const triton::ast::SharedAstContext &astCtxt)
Constructor.
Definition arm32Semantics.cpp:112
triton::arch::arm::arm32::Arm32Semantics::buildSemantics
TRITON_EXPORT triton::arch::exception_e buildSemantics(triton::arch::Instruction &inst)
Builds the semantics of the instruction. Returns triton::arch::NO_FAULT if succeed.
Definition arm32Semantics.cpp:133
triton::arch::exception_e
exception_e
Definition archEnums.hpp:59
triton::arch::arm::shift_e
shift_e
Types of shift.
Definition archEnums.hpp:140
triton::ast::SharedAbstractNode
std::shared_ptr< triton::ast::AbstractNode > SharedAbstractNode
Shared Abstract Node.
Definition ast.hpp:59
triton::ast::SharedAstContext
std::shared_ptr< triton::ast::AstContext > SharedAstContext
Shared AST context.
Definition ast.hpp:65
triton::engines::symbolic::SharedSymbolicExpression
std::shared_ptr< triton::engines::symbolic::SymbolicExpression > SharedSymbolicExpression
Shared Symbolic Expression.
Definition ast.hpp:40
triton::uint64
std::uint64_t uint64
unisgned 64-bits
Definition tritonTypes.hpp:42
triton::uint32
std::uint32_t uint32
unisgned 32-bits
Definition tritonTypes.hpp:39
triton
The Triton namespace.
Definition architecture.cpp:27
Generated by doxygen 1.10.0