Commits · f422765c1ca5a4ef608f457f95ee4119fa79b97a · 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 06, 2019
- 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
Dec 05, 2019
- rst: Fix abstract types in lifter templates. · dfcaa84d
  Henrich Lauko authored Dec 05, 2019
  
  dfcaa84d
- rst: Refactor abstract domains to use snake case naming. · 47fa5361
  Henrich Lauko authored Dec 05, 2019
  
  47fa5361
Dec 03, 2019
- rst: Implement user interface to abstract domain base byte. · 2796dc98
  Henrich Lauko authored Dec 03, 2019
  
  2796dc98
Nov 12, 2019
- rst: Add floating point casts lifter templates. · 86020657
  Henrich Lauko authored Nov 12, 2019
  
  86020657
Oct 25, 2019
- lart: Fix construction of tainted floating point value. · b00a93d3
  Henrich Lauko authored Oct 25, 2019
  
  b00a93d3
Dec 05, 2019
- rst: Implement lift_one for mstring domain. · 9174ff66
  Henrich Lauko authored Dec 05, 2019
  
  9174ff66
- rst: Rework mstring data representation. · 02152adb
  Henrich Lauko authored Dec 05, 2019
  
  02152adb
- rst: Fix bitwidth comparisons in constant domain. · 8396eb5c
  Henrich Lauko authored Dec 05, 2019
  
  8396eb5c
Dec 04, 2019
- rst: Add new prototypes of mstring constructors. · fc03783d
  Henrich Lauko authored Dec 04, 2019
  
  fc03783d
- rst: Create template of mstring domain. · 7488ace7
  Henrich Lauko authored Dec 04, 2019
  
  7488ace7
- lart: Do not generate metadata for pointers that point to abstract values. · fec25fec
  Henrich Lauko authored Dec 04, 2019
  
  fec25fec
- lart: Fix detection of abstract constructors. · 6b87963c
  Henrich Lauko authored Dec 04, 2019
  
  6b87963c
Dec 03, 2019
- lart: Fix resolve of indirect function call on inttoptr. · eea5c09d
  Henrich Lauko authored Dec 03, 2019
  
  eea5c09d
- rst: Add pointer lifter to unit domain. · 38c4133d
  Henrich Lauko authored Dec 03, 2019
  
  38c4133d
Oct 22, 2019
- lart: Do not unstash faultable calls twice. · c8d571ba
  Henrich Lauko authored Oct 22, 2019
  
  c8d571ba
- lart: Detect faultable abstract calls. · 34ca091d
  Henrich Lauko authored Oct 22, 2019
  
  34ca091d
Dec 03, 2019
- rst: Suppress inlining of abstraction to fix assignment of operation indices. · 9a6890ca
  Henrich Lauko authored Dec 03, 2019
  
  9a6890ca