Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 40 million developers.
Sign up
Popular repositories
-
-
Forked from mrry/skywriting
Language and execution engine for cloud programming
-
-
Originally developed by Reynardware. Adapted to work with more modern versions of Incredimail.
C 3
1,249 contributions in the last year
Contribution activity
August 2019
- smowton/sv-comp-subset Shell
Created a pull request in diffblue/cbmc that received 12 comments
[TG-9002] Symex: revert guards after call return
Executing a function may have a cumulative effect on the state guard. For example, if the callee contained ASSUME statements that rendered one or m…
+232
−16
•
12
comments
- Dominator analysis: analyse on basic block granularity
- Add java_instanceof_exprt, and use it in place of raw exprts
- Add documentation to `goto_trace_constant_pointer_exprt`
- Add goto_trace_constant_pointer_exprt
- Support instanceof and checkcast for array types
- byte-operators unpack_rec: enforce max-bytes if supplied
- [TEST] Travis formatting test
- [TG-8994] Tolerate a constant on the LHS of an assignment
- Disable test snapshot-harness/dynamic-array-int
- [TG-8996] Avoid redundant expressions when dereferencing
- Value retriever: Allow @nondetLength field to be false. [TG-9189]
- Do not escape ' in java strings
- Fix array length in symex constant string propagation [TG-9048]
- Array cell sensitivity
- Remove preprocessing of CProverString.insert for non-String arguments
- fix accesses to exprt::opX() in jsil/
- fix accesses to exprt::opX() in solvers/
- Refactor for loop usage
- Add test for inherited method on functional interface
- remove value_set_analysis_fivr and value_set_analysis_fivrns
- improve typing in binary_relation_exprt::validate
- fix exprt::opX accesses in java_bytecode
- remove CBMC_trace
- type simplify_inequality and auxiliary methods
- Improve error message when functional method is inherited
- fix exprt::opX accesses in goto-instrument
- use simplify_not instead of boolean_negate
- Insert final assert false pass
- Add an --assert-ensures check
- [TG-7648] Constant propagation of substring operations
- Fix clang-format excludes in .travis.yml
- Create virtual_function_exprt
- Add regression test for TG-2479
- Make goto_rw less conservative
- Turn the function contract for a specific function to a C stub
- Some pull request reviews not shown.