CBMC

cbmc:java-no-void-ptr

  1. Git
  2. lp:cbmc
  3. java-no-void-ptr
Last commit made on 2019-07-30
Get this branch:
git clone -b java-no-void-ptr https://git.launchpad.net/cbmc

Branch merges

Branch information

Name:
java-no-void-ptr
Repository:
lp:cbmc

Recent commits

5a44251... by Daniel Kroening <email address hidden>

java: do not use void reference

The concept of 'void *' is borrowed from C. This commit changes 'void *' to
a reference to java.lang.object.

The benefit is that we will be able to establish that all references in Java
are references to an object.

9643ec2... by Daniel Kroening <email address hidden>

Merge pull request #4961 from smowton/smowton/cleanup/symex-use-nodiscard

Symex rename functions: use NODISCARD

e46afa1... by Chris Smowton <email address hidden>

Symex rename functions: use NODISCARD

These used to have side-effects on their parameters, and will still compile if used that
way, so let's use NODISCARD to enforce that their new return value is consulted when
necessary.

7dd8899... by owen-jones-diffblue <email address hidden>

Merge pull request #4875 from owen-jones-diffblue/owen/replace-backtick-with-single-quote

Replace `<stuff>' with '<stuff>'

4c900d1... by Owen <email address hidden>

Do not quote classes we fail to load

The error message used to be
  failed to load class 'Test'
This commit makes it
  failed to load class Test
The reasoning is that there is no need to quote the class name, it is
totally clear where it starts and where it ends.

f0c0151... by Owen <email address hidden>

Remove erroneous backtick

c4cd7ae... by Owen <email address hidden>

Do not use backtick as opening single quote

Replace it with '. For example, This changes an error message from
failed to load class `java.nio.file.Path'
to
failed to load class 'java.nio.file.Path'

The reason is that the convention of using ` for opening single
quotes looks odd in most modern fonts. For more discussion please
read:

https://www.cl.cam.ac.uk/~mgk25/ucs/quotes.html

306697d... by =?utf-8?b?xYF1a2FzeiBBLkouIFdyb25h?= <email address hidden>

Merge pull request #4951 from LAJW/lajw/read_u2

java_bytecode tweaks

8d3559b... by "Lukasz A.J. Wrona" <email address hidden>

Skip the first iteration of the loop with next() rather than with an if

Cannot use for_each/ranged-for because loop performs a pairwise operation

8e573ce... by "Lukasz A.J. Wrona" <email address hidden>

Use for-each instead of for w/ iterators

Skip first iteration with next