Commits · 3f5a70d4d4357a3cc9571df456b70f5122c93403 · paradise / mirror / DIVINE · GitLab

GitLab now enforces expiry dates on tokens that originally had no set expiration date. Those tokens were given an expiration date of one year later. Please review your personal access tokens, project access tokens and group access tokens to ensure you are aware of upcoming expirations. Administrators of GitLab can find more information on how to identify and mitigate interruption, please take a look at our documentation.

Dec 10, 2019
- lart: Resurrect abstraction of call instructions. · 3f5a70d4
  Henrich Lauko authored Dec 10, 2019
  
  3f5a70d4
- rst: Generate additional overloads of operators for scalar domain. · c934c094
  Henrich Lauko authored Dec 10, 2019
  
  c934c094
Dec 09, 2019
- rst: Define C interface to constant lifters. · c599c7b6
  Henrich Lauko authored Dec 09, 2019
  
  c599c7b6
- rst: Fix missing arguments of unit aggregate operations. · 9a6d5a6d
  Henrich Lauko authored Dec 09, 2019
  
  9a6d5a6d
- rst: Implement mstring strlen operation. · 382fa854
  Henrich Lauko authored Dec 09, 2019
  
  382fa854
- rst: Refactor mstring fault yields. · e907d869
  Henrich Lauko authored Dec 09, 2019
  
  e907d869
- rst: Add missing attributes to operations in scalar wrapper domain. · bda64937
  Henrich Lauko authored Dec 09, 2019
  
  bda64937
- test: Remove todo tag from basic mstring tests. · 1436d04b
  Henrich Lauko authored Dec 09, 2019
  
  1436d04b
- rst: Add to term domain a cast operator to abstract base. · 1774fbeb
  Henrich Lauko authored Dec 09, 2019
  
  1774fbeb
- rst: Implement mstring gep operation. · f6258a2e
  Henrich Lauko authored Dec 09, 2019
  
  f6258a2e
- rst: Implement mstring store operation. · 78db91f5
  Henrich Lauko authored Dec 09, 2019
  
  78db91f5
- rst: Implement mstring load operation. · dc307432
  Henrich Lauko authored Dec 09, 2019
  
  dc307432
Dec 06, 2019
- lart: Synthesize new bitwidth argument to the load lifter. · 081b04ad
  Henrich Lauko authored Dec 06, 2019
  
  081b04ad
- rst: Generate alloca lifter templates. · 6fd3c578
  Henrich Lauko authored Dec 06, 2019
  
  6fd3c578
- rst: Pass bitwidth of stored value to the lifter. · 3ffa8a0a
  Henrich Lauko authored Dec 06, 2019
  
  3ffa8a0a
- rst: Generate load lifter templates. · 7937628e
  Henrich Lauko authored Dec 06, 2019
  
  7937628e
- lart: Pass additional bitwidth parameters to generated gep lifters. · c896e6e1
  Henrich Lauko authored Dec 06, 2019
  
  c896e6e1
- rst: Pass result bitwidth of gep to the abstract lifter. · f422765c
  Henrich Lauko authored Dec 06, 2019
  
  f422765c
Dec 05, 2019
- lart: Refactor synthesization of abstraction lifters. · 6a0ef5c5
  Henrich Lauko authored Dec 05, 2019
  
  6a0ef5c5
Nov 01, 2019
- mem: Parametrise SnapshottedMap by its storage backend. · 01f9c348
  Adam Matoušek authored Nov 01, 2019
  
  01f9c348
Oct 29, 2019
- tools: Split Expect in divcheck. · 60e971e9
  Adam Matoušek authored Oct 29, 2019
  
  60e971e9
- ui: Split CompositeSink. · a41fbaf5
  Adam Matoušek authored Oct 29, 2019
  
  a41fbaf5
Oct 23, 2019
- tools: Support multiple 'verify' or 'exec' commands in divcheck. · 7fca65f3
  Adam Matoušek authored Oct 23, 2019
  
  7fca65f3
- tools: Allow to make violation of divcheck's 'expect' non-fatal. · 0c9cfa5c
  Adam Matoušek authored Oct 23, 2019
  
  0c9cfa5c
Oct 13, 2019
- sim: Adapt 'tamper' to changes in brick-except. · 608c0c91
  Adam Matoušek authored Oct 13, 2019
  
  608c0c91
Sep 17, 2019
- test: Add a test for the 'tamper' simulator command. · 6b8e91fd
  Adam Matoušek authored Sep 17, 2019
  
  6b8e91fd
Aug 21, 2019
- sim: Implement tampering with dbg.value-defined variables. · c4aa8df7
  Adam Matoušek authored Aug 21, 2019
  
  c4aa8df7
- sim: Refactor DFS of first instruction. · d9059f80
  Adam Matoušek authored Aug 21, 2019
  
  d9059f80
- dbg: Hold original debug intrinsics in debug nodes. · 3fbc111a
  Adam Matoušek authored Aug 21, 2019
  
  3fbc111a
Aug 16, 2019
- sim: Add a 'tamper' command for abstracting local variables. · 2f802534
  Adam Matoušek authored Aug 16, 2019
  
  2f802534
Dec 06, 2019
- lart: Add pass that removes and-mask in the decompiled code. · 90120ce6
  Lukáš Korenčik authored Dec 06, 2019
```
Remove and-mask that is generated in the decompiled code
by mcsema when a global variable that was originally
a segment is accessed.
```
  90120ce6
- test: Invoke decompile script if mcsema flavour is selected. · ecfccc19
  Lukáš Korenčik authored Dec 06, 2019
  
  ecfccc19
- test: Add script that compiles and then lifts program from single source. · 5d7f0adf
  Lukáš Korenčik authored Dec 06, 2019
  
  5d7f0adf
- lart: Add is_call predicate to query. · fbf5b019
  Lukáš Korenčik authored Dec 06, 2019
  
  fbf5b019
Dec 04, 2019
- lart: Add short comments to libc_indirect_calls pass. · 73d1679f
  Lukáš Korenčik authored Dec 04, 2019
  
  73d1679f
Nov 21, 2019
- lart: Add pass that adds undef args to indirect call in __pthread_start. · 82eb9f18
  Lukáš Korenčik authored Nov 21, 2019
  
  82eb9f18
- lart: Add ptr() to LLVMUtil. · 329055d2
  Lukáš Korenčik authored Nov 21, 2019
  
  329055d2
Oct 04, 2019
- dios: Always link a few libm functions as they are used in intrinsic lowering. · 586fb8e8
  Lukáš Korenčik authored Oct 04, 2019
  
  586fb8e8
Nov 12, 2019
- test: Add mcsema flavour. · 2a2dd65c
  Lukáš Korenčik authored Nov 12, 2019
  
  2a2dd65c
Dec 04, 2019
- rst: Define general abstract value type. · 88e6d9bc
  Henrich Lauko authored Dec 04, 2019
  
  88e6d9bc