Search results

Unable to verify Java method using the fully qualified name

documentation

Java Front End

Status: Open.

#7312 In diffblue/cbmc;

· orionpapadakis opened on Nov 9, 2022

JBMC with Kotlin.

Java Front End

Status: Open.

#6579 In diffblue/cbmc;

· jkbbwr opened on Jan 13, 2022

JBMC cant handle aliasing

Java Front End

Status: Open.

#6178 In diffblue/cbmc;

· JonasKlamroth opened on Jun 15, 2021

JBMC example with data structures

Java Front End

Status: Open.

#5296 In diffblue/cbmc;

· shankarapailoor opened on Apr 15, 2020

remove_java_new can now follow one typecast

Java Front End

Status: Open (in progress).

diffblue/cbmcnumber 4747

#4747 In diffblue/cbmc;

· kroening opened on Jun 4, 2019

remove java_method_typet::final/native

cleanup

Java Front End

Status: Open (in progress).

diffblue/cbmcnumber 4492

#4492 In diffblue/cbmc;

· kroening opened on Apr 6, 2019

Use remove_java_new in jdiff and janalyzer

Java Front End

Status: Open.

#3094 In diffblue/cbmc;

· owen-mc-diffblue opened on Oct 3, 2018

Fix naming of fresh variables in java string preprocessing

Java Front End

Status: Open.

#2555 In diffblue/cbmc;

· peterschrammel opened on Jul 7, 2018

Enhance replace java nondet to deal with non-trivial goto

Java Front End

Status: Open.

#2281 In diffblue/cbmc;

· JohnDumbell opened on Jun 5, 2018

Post-jbmc move cleanup

Java Front End

Status: Open.

#2215 In diffblue/cbmc;

· tautschnig opened on May 21, 2018

Package_friendly loads the java_languaget twice which creates problems when there are models.

Java Front End

Status: Open.

#1807 In diffblue/cbmc;

· dcattaruzza opened on Feb 7, 2018

Java synchronized blocks don't throw NullPointerException

bug

Java Front End

Status: Open.

#1236 In diffblue/cbmc;

· reuk opened on Aug 14, 2017