Skip to content

Commit caeef88

Browse files
NathanJPhillipsNathanJPhillips
authored
Merge pull request diffblue#242 from diffblue/cleanup/capitalize-DiFfBlUe
Renamed DiffBlue -> Diffblue
2 parents 651841f + d3b6842 commit caeef88

File tree

151 files changed

+164
-164
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

151 files changed

+164
-164
lines changed

‎LICENSE

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
© 2016-2017 DiffBlue Limited. All Rights Reserved.
1+
© 2016-2017 Diffblue Limited. All Rights Reserved.

‎benchmarks/LIBRARIES/models/model/modelTests/print-reports.sh

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
#!/usr/bin/env bash
2-
# Copyright 2016-2017 DiffBlue Limited. All Rights Reserved.
2+
# Copyright 2016-2017 Diffblue Limited. All Rights Reserved.
33

44
set -evuo pipefail
55

‎benchmarks/LIBRARIES/models/model/modelTests/test_data/java-library/java/lang/String/replace_v4_Pass.java

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22

33
public class replace_v4_Pass {
44
public static void main(String[] args){
5-
String str="DiffBlue Test Generation";
6-
assert (str.replace( 'R','A' ).equals("DiffBlue Test Generation"));
5+
String str="Diffblue Test Generation";
6+
assert (str.replace( 'R','A' ).equals("Diffblue Test Generation"));
77
}
88
}

‎benchmarks/LIBRARIES/models/model/pom.xml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@
1111
<project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
1212
</properties>
1313

14-
<name>DiffBlue JDK Models</name>
14+
<name>Diffblue JDK Models</name>
1515

1616
<build>
1717
<finalName>models</finalName>

‎benchmarks/TRAINING/diffblue/README.txt

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
1-
TRAINING DiffBlue
1+
TRAINING Diffblue
22
~~~~~~~~~~~~~~~~~
33

4-
Here are training benchmarks made by developers of DiffBlue. Each benchmark
4+
Here are training benchmarks made by developers of Diffblue. Each benchmark
55
appear in one directory. Benchmark-specific configuration JSON files
66
(containing the transition rules) of all benchmarks are located in this
77
directory using this naming convention:

‎benchmarks/TRAINING/diffblue/taint_traces_01_evaluator.json

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
"rules-file": "TRAINING/diffblue/taint_traces_01_rules.json",
77
"name": "taint_traces_01",
88
"category": "TRAINING",
9-
"source": "DiffBlue",
9+
"source": "Diffblue",
1010
"installer": "__benchmark_installer_TRAINING_diffblue",
1111
"custom-options-for-security-scanner": "--rebuild --verbosity 0 --dump-html-summaries --dump-html-statistics --dump-html-slice --dump-html-program",
1212
"expected-results":

‎benchmarks/TRAINING/diffblue/taint_traces_02_evaluator.json

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
"rules-file": "TRAINING/diffblue/taint_traces_02_rules.json",
77
"name": "taint_traces_02",
88
"category": "TRAINING",
9-
"source": "DiffBlue",
9+
"source": "Diffblue",
1010
"installer": "__benchmark_installer_TRAINING_diffblue",
1111
"custom-options-for-security-scanner": "--rebuild --verbosity 0 --dump-html-summaries --dump-html-statistics --dump-html-slice --dump-html-program",
1212
"expected-results":

‎benchmarks/TRAINING/diffblue/taint_traces_03_evaluator.json

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
"rules-file": "TRAINING/diffblue/taint_traces_03_rules.json",
77
"name": "taint_traces_03",
88
"category": "TRAINING",
9-
"source": "DiffBlue",
9+
"source": "Diffblue",
1010
"installer": "__benchmark_installer_TRAINING_diffblue",
1111
"custom-options-for-security-scanner": "--rebuild --verbosity 0 --dump-html-summaries --dump-html-statistics --dump-html-slice --dump-html-program",
1212
"expected-results":

‎benchmarks/TRAINING/diffblue/taint_traces_04_evaluator.json

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
"rules-file": "TRAINING/diffblue/taint_traces_04_rules.json",
77
"name": "taint_traces_04",
88
"category": "TRAINING",
9-
"source": "DiffBlue",
9+
"source": "Diffblue",
1010
"installer": "__benchmark_installer_TRAINING_diffblue",
1111
"custom-options-for-security-scanner": "--rebuild --verbosity 0 --dump-html-summaries --dump-html-statistics --dump-html-slice --dump-html-program",
1212
"expected-results":

‎benchmarks/TRAINING/diffblue/taint_traces_05_evaluator.json

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
"rules-file": "TRAINING/diffblue/taint_traces_05_rules.json",
77
"name": "taint_traces_05",
88
"category": "TRAINING",
9-
"source": "DiffBlue",
9+
"source": "Diffblue",
1010
"installer": "__benchmark_installer_TRAINING_diffblue",
1111
"custom-options-for-security-scanner": "--rebuild --verbosity 0 --dump-html-summaries --dump-html-statistics --dump-html-slice --dump-html-program --data-flow-insensitive-instrumentation",
1212
"expected-results":

‎benchmarks/TRAINING/diffblue/taint_traces_06_evaluator.json

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
"rules-file": "TRAINING/diffblue/taint_traces_06_rules.json",
77
"name": "taint_traces_06",
88
"category": "TRAINING",
9-
"source": "DiffBlue",
9+
"source": "Diffblue",
1010
"installer": "__benchmark_installer_TRAINING_diffblue",
1111
"custom-options-for-security-scanner": "--rebuild --verbosity 0 --dump-html-summaries --dump-html-statistics --dump-html-slice --dump-html-program --data-flow-insensitive-instrumentation",
1212
"expected-results":

‎benchmarks/TRAINING/diffblue/taint_traces_07_evaluator.json

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
"rules-file": "TRAINING/diffblue/taint_traces_07_rules.json",
77
"name": "taint_traces_07",
88
"category": "TRAINING",
9-
"source": "DiffBlue",
9+
"source": "Diffblue",
1010
"installer": "__benchmark_installer_TRAINING_diffblue",
1111
"custom-options-for-security-scanner": "--rebuild --verbosity 0 --dump-html-summaries --dump-html-statistics --dump-html-slice --dump-html-program",
1212
"expected-results":

‎cbmc/regression/cbmc-java/internal1/com/diffblue/javatest/nestedobjects/subpackage/readme.txt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
11
Source of benchmark:
2-
https://github.com/DiffBlue-benchmarks/java-test
2+
https://github.com/Diffblue-benchmarks/java-test

‎cbmc/regression/strings/RegexSubstitution01/RegexSubstitution01.java

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -4,12 +4,12 @@ public class RegexSubstitution01
44
{
55
public static void main(String[] args)
66
{
7-
String firstString = "DiffBlue ***";
7+
String firstString = "Diffblue ***";
88
String secondString = "Automatic Test Case Generation";
99

1010
firstString = firstString.replaceAll("\\*", "^");
1111

12-
assert firstString.equals("DiffBlue ^^^");
12+
assert firstString.equals("Diffblue ^^^");
1313

1414
secondString = secondString.replaceAll("Automatic", "Automated");
1515

‎cbmc/regression/strings/RegexSubstitution02/RegexSubstitution02.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ public class RegexSubstitution02
44
{
55
public static void main(String[] args)
66
{
7-
String firstString = "DiffBlue ***";
7+
String firstString = "Diffblue ***";
88
String secondString = "Automatic Test Case Generation";
99

1010
firstString = firstString.replaceAll("\\*", "^");

‎cbmc/regression/strings/RegexSubstitution03/RegexSubstitution03.java

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -4,12 +4,12 @@ public class RegexSubstitution03
44
{
55
public static void main(String[] args)
66
{
7-
String firstString = "DiffBlue ***";
7+
String firstString = "Diffblue ***";
88
String secondString = "Automatic Test Case Generation";
99

1010
firstString = firstString.replaceAll("\\*", "^");
1111

12-
assert firstString.equals("DiffBlue ^^^");
12+
assert firstString.equals("Diffblue ^^^");
1313

1414
secondString = secondString.replaceAll("Automatic", "Automated");
1515

‎cbmc/regression/strings/StringBuilderChars01/StringBuilderChars01.java

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,9 +2,9 @@ public class StringBuilderChars01
22
{
33
public static void main(String[] args)
44
{
5-
StringBuilder buffer = new StringBuilder("DiffBlue Limited");
5+
StringBuilder buffer = new StringBuilder("Diffblue Limited");
66

7-
assert buffer.toString().equals("DiffBlue Limited");
7+
assert buffer.toString().equals("Diffblue Limited");
88
assert buffer.charAt(0)!=buffer.charAt(4);
99

1010
char[] charArray = new char[buffer.length()];

‎cbmc/regression/strings/StringBuilderChars02/StringBuilderChars02.java

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@ public class StringBuilderChars02
22
{
33
public static void main(String[] args)
44
{
5-
StringBuilder buffer = new StringBuilder("DiffBlue Limited");
6-
assert buffer.toString().equals("DiffBlue Limitted");
5+
StringBuilder buffer = new StringBuilder("Diffblue Limited");
6+
assert buffer.toString().equals("Diffblue Limitted");
77
}
88
}

‎cbmc/regression/strings/StringBuilderChars03/StringBuilderChars03.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@ public class StringBuilderChars03
22
{
33
public static void main(String[] args)
44
{
5-
StringBuilder buffer = new StringBuilder("DiffBlue Limited");
5+
StringBuilder buffer = new StringBuilder("Diffblue Limited");
66
assert buffer.charAt(0)==buffer.charAt(4);
77
}
88
}

‎cbmc/regression/strings/StringBuilderChars04/StringBuilderChars04.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@ public class StringBuilderChars04
22
{
33
public static void main(String[] args)
44
{
5-
StringBuilder buffer = new StringBuilder("DiffBlue Limited");
5+
StringBuilder buffer = new StringBuilder("Diffblue Limited");
66

77
char[] charArray = new char[buffer.length()];
88
buffer.getChars(0, buffer.length(), charArray, 0);

‎cbmc/regression/strings/StringBuilderChars05/StringBuilderChars05.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@ public class StringBuilderChars05
22
{
33
public static void main(String[] args)
44
{
5-
StringBuilder buffer = new StringBuilder("DiffBlue Limited");
5+
StringBuilder buffer = new StringBuilder("Diffblue Limited");
66
buffer.setCharAt(0, 'H');
77
buffer.setCharAt(6, 'T');
88
assert buffer.toString().equals("HiffBllTe Limited");

‎cbmc/regression/strings/StringBuilderChars06/StringBuilderChars06.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@ public class StringBuilderChars06
22
{
33
public static void main(String[] args)
44
{
5-
StringBuilder buffer = new StringBuilder("DiffBlue Limited");
5+
StringBuilder buffer = new StringBuilder("Diffblue Limited");
66
buffer.reverse();
77
assert buffer.toString().equals("detimiL eTlBffiiH");
88
}

‎cbmc/regression/strings/StringConcatenation01/StringConcatenation01.java

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -3,13 +3,13 @@ public class StringConcatenation01
33
public static void main(String[] args)
44
{
55
String s1 = "Happy at";
6-
String s2 = " DiffBlue";
6+
String s2 = " Diffblue";
77

88
assert s1.equals("Happy at");
9-
assert s2.equals(" DiffBlue");
9+
assert s2.equals(" Diffblue");
1010

1111
String tmp=s1.concat(s2);
12-
assert tmp.equals("Happy at DiffBlue");
12+
assert tmp.equals("Happy at Diffblue");
1313

1414
tmp=s1;
1515
assert tmp.equals("Happy at");

‎cbmc/regression/strings/StringConcatenation02/StringConcatenation02.java

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3,8 +3,8 @@ public class StringConcatenation02
33
public static void main(String[] args)
44
{
55
String s1 = "Happy at";
6-
String s2 = " DiffBlue";
6+
String s2 = " Diffblue";
77
assert s1.equals("Happy at ");
8-
assert s2.equals(" DiffBlue");
8+
assert s2.equals(" Diffblue");
99
}
1010
}

‎cbmc/regression/strings/StringConcatenation03/StringConcatenation03.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@ public class StringConcatenation03
33
public static void main(String[] args)
44
{
55
String s1 = "Happy at";
6-
String s2 = " DiffBlue";
6+
String s2 = " Diffblue";
77

88
System.out.printf(
99
"Result of s1.concat(s2) = %s\n", s1.concat(s2));

‎cbmc/src/analyses/does_remove_const.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
33
Module: Analyses
44
5-
Author: DiffBlue Limited. All rights reserved.
5+
Author: Diffblue Limited. All rights reserved.
66
77
\*******************************************************************/
88

‎cbmc/src/analyses/does_remove_const.h

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
33
Module: Analyses
44
5-
Author: DiffBlue Limited. All rights reserved.
5+
Author: Diffblue Limited. All rights reserved.
66
77
\*******************************************************************/
88
/// \file

‎cbmc/src/ansi-c/c_nondet_symbol_factory.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
33
Module: C Nondet Symbol Factory
44
5-
Author: DiffBlue Limited. All rights reserved.
5+
Author: Diffblue Limited. All rights reserved.
66
77
\*******************************************************************/
88

‎cbmc/src/ansi-c/c_nondet_symbol_factory.h

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
33
Module: C Nondet Symbol Factory
44
5-
Author: DiffBlue Limited. All rights reserved.
5+
Author: Diffblue Limited. All rights reserved.
66
77
\*******************************************************************/
88

‎cbmc/src/goto-analyzer/goto_analyzer_parse_options.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -435,7 +435,7 @@ void goto_analyzer_parse_optionst::help()
435435
std::cout << " * *\n";
436436

437437
std::cout <<
438-
"* * Daniel Kroening, DiffBlue * *\n"
438+
"* * Daniel Kroening, Diffblue * *\n"
439439
"* * [email protected] * *\n"
440440
"\n"
441441
"Usage: Purpose:\n"

‎cbmc/src/goto-programs/resolve_concrete_function_call.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
33
Module: GOTO Program Utilities
44
5-
Author: DiffBlue Limited. All rights reserved.
5+
Author: Diffblue Limited. All rights reserved.
66
77
\*******************************************************************/
88

‎cbmc/src/goto-programs/resolve_concrete_function_call.h

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
33
Module: GOTO Program Utilities
44
5-
Author: DiffBlue Limited. All rights reserved.
5+
Author: Diffblue Limited. All rights reserved.
66
77
\*******************************************************************/
88

‎cbmc/src/java_bytecode/ci_lazy_methods.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
33
Module: Java Bytecode
44
5-
Author: DiffBlue Limited. All rights reserved.
5+
Author: Diffblue Limited. All rights reserved.
66
77
\*******************************************************************/
88
#include "ci_lazy_methods.h"

‎cbmc/src/java_bytecode/ci_lazy_methods.h

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
33
Module: Java Bytecode
44
5-
Author: DiffBlue Limited. All rights reserved.
5+
Author: Diffblue Limited. All rights reserved.
66
77
\*******************************************************************/
88

‎cbmc/src/java_bytecode/java_pointer_casts.h

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
33
Module: JAVA Pointer Casts
44
5-
Author: DiffBlue
5+
Author: Diffblue
66
77
\*******************************************************************/
88

‎cbmc/src/java_bytecode/select_pointer_type.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
33
Module: Java Bytecode Language Conversion
44
5-
Author: DiffBlue Limited. All rights reserved.
5+
Author: Diffblue Limited. All rights reserved.
66
77
\*******************************************************************/
88

‎cbmc/src/java_bytecode/select_pointer_type.h

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
33
Module: Java Bytecode Language Conversion
44
5-
Author: DiffBlue Limited. All rights reserved.
5+
Author: Diffblue Limited. All rights reserved.
66
77
\*******************************************************************/
88
#ifndef CPROVER_JAVA_BYTECODE_SELECT_POINTER_TYPE_H

‎cbmc/src/langapi/language_util.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
// Copyright 2016-2017 DiffBlue Limited. All Rights Reserved.
1+
// Copyright 2016-2017 Diffblue Limited. All Rights Reserved.
22

33

44
#include "language_util.h"

‎cbmc/src/pointer-analysis/value_set.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
// Copyright 2016-2017 DiffBlue Limited. All Rights Reserved.
1+
// Copyright 2016-2017 Diffblue Limited. All Rights Reserved.
22

33
/// \file
44
/// Value Set

‎cbmc/src/util/expr_iterator.h

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
33
Module: exprt iterator module
44
5-
Author: DiffBlue Limited. All rights reserved.
5+
Author: Diffblue Limited. All rights reserved.
66
77
\*******************************************************************/
88

‎cbmc/src/util/recording_symbol_table.h

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
// Copyright 2016-2017 DiffBlue Limited. All Rights Reserved.
1+
// Copyright 2016-2017 Diffblue Limited. All Rights Reserved.
22

33
/// \file
44
/// A symbol table that records which entries have been updated

‎cbmc/src/util/symbol_table.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
// Copyright 2016-2017 DiffBlue Limited. All Rights Reserved.
1+
// Copyright 2016-2017 Diffblue Limited. All Rights Reserved.
22

33
#include "symbol_table.h"
44

‎cbmc/src/util/symbol_table.h

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
// Copyright 2016-2017 DiffBlue Limited. All Rights Reserved.
1+
// Copyright 2016-2017 Diffblue Limited. All Rights Reserved.
22

33
/// \file
44
/// Symbol table

‎cbmc/unit/analyses/ai/ai_simplify_lhs.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
33
Module: Unit tests for ai_domain_baset::ai_simplify_lhs
44
5-
Author: DiffBlue Limited. All rights reserved.
5+
Author: Diffblue Limited. All rights reserved.
66
77
\*******************************************************************/
88

0 commit comments

Comments
 (0)