Java Code Coverage Mechanics - EclipseCon Europe 2017

Java
Code
Coverage
Mechanics
by Evgeny Mandrikov
at EclipseCon Europe 2017
Evgeny Mandrikov Marc Hoffmann
@_Godin_ @marcandsweep
Godin marchof
JaCoCo and Eclipse EclEmma Project Leads

/* TODO Don't forget to add huge disclaimer that
* all opinions hereinbelow are our own and not
* our employers.
*
* They can only dream that they own them.
*/
Java
Code
Coverage
Mechanics
Java
Code
Coverage
Mechanics
Java
Code
Coverage
Mechanics
Java
Code
Coverage
Mechanics
Real Disclaimer
Blood and guts of JVM

Strong language - bytecode
Intense violence for brain
Implementation details!!!
EMMA JaCoCo
EclEmma
Eclipse
Community
Awards
Observer Effect
“ In physics, the term observer effect refers to

changes that the act of observation will make on a
phenomenon being observed. This is often the
result of instruments that, by necessity, alter the
state of what they measure in some manner.
Wikipedia
Code Coverage
JaCoCo works on class files only
*.class *.exec
As easy as setting an arg for the JVM
java -javaagent:jacocoagent.jar[=options] Application
class PreMain {
public static void premain(
String options,
Instrumentation instrumentation
) throws Exception {
instrumentation.addTransformer(…);
}
}
Java Byte Code Instrumentation
Probe Strategies
JaCoCo Validation Test Suite
Tested on 5 major JDK versions
Not only issues in JaCoCo...
Probe
● Minimal runtime overhead probes[id] = true;
● No side effects on application code ALOADx probes

xPUSH id
● Thread safe ICONST_1
● Record execution BASTORE
● Identification
Bytecode of Assertions
class Fun { // javap -c Fun

void fun(boolean x) {
assert x; getstatic $assertionsDisabled
} ifne L
} iload_1
ifne L
new java/lang/AssertionError
dup
invokespecial <init>()V
athrow
L:
return
Bytecode of Assertions
class Fun {
static final synthetic boolean $assertionsDisabled
= Fun.class.desiredAssertionStatus();
void fun(boolean x) {
if (! $assertionsDisabled)
if (! x)
throw new AssertionError();
}
}
Nice idea!
class Fun {
static final synthetic boolean[] $jacocoData = … ;
void fun() {
boolean[] probes = $jacocoData;
probes[0] = true;
…
probes[…] = true;
}
}
Bridge Methods
class Outer { // javap -v Outer

private int counter; synthetic static
private
int access$008(Outer o) {
class Inner { return o.counter++;
void inc() { }
counter++;
} // javap -c Outer$Inner
} synthetic final Outer this$0;
}
void inc() {
Outer.access$008(this$0)
Methods in Enums
enum Fun { // javap -v Fun

C
} synthetic static
Fun valueOf(java.lang.String);
synthetic static
Fun[] values();
Lambdas
class Fun { // javap -c -p -l Fun

void exec(Runnable task) {
task.run(); private
} static
void fun() { synthetic
exec(() -> { lambda$fun$0() {
… …
}); }
}
}
ASM
// javac -version new ClassReader(classBytes)

java version "9-ea" // IllegalArgumentException
// javac Fun.java
return downgrade(classBytes)
// javap -version ? upgrade(transform(classBytes))
1.7.0_80 : transform(classBytes);
// javap -v Fun
major version: 53
// javap -c -XDdetails -cp bin:src Example

class Base {
static { Bad Cycle
new Child().someMethod();
}
}
class Child extends Base {

static final synthetic boolean $assertionsDisabled
static { $assertionsDisabled = Child.class.get… }
void someMethod() {
assert 1 == 2;
}
}
public static void main(String[] args) {

new Child();
}
Bad Cycles in JaCoCo
class Fun {
static final synthetic boolean[] $jacocoData = … ;
void fun() {
boolean[] probes = $jacocoData;
probes[0] = true; // NullPointerException
…
probes[…] = true;
}
}
Bad Cycle - Solution
class Fun {
static final synthetic boolean[] $jacocoData;
static synthetic boolean[] $jacocoInit() {

if ($jacocoData == null) $jacocoData = … ;
return $jacocoData;
}
void fun() {
boolean[] probes = $jacocoInit();
…
Bad Cycle - Solution?
class Fun {

return $jacocoData;
}
void fun() {
…
Java Virtual Machine Specification
“6.5. putstatic
if the field is final, it must be declared in the current class,
and the instruction must occur in the <clinit> method of the
current class. Otherwise, an IllegalAccessError is thrown”
Checked since JDK 9 EA b127 for class files version 53.
Bad Cycle - Correct Solution
class Fun {

return $jacocoData;
}
void fun() {
…
Interfaces
interface Fun { interface Fun {

static final default method() {
Object field // oups???
}
static { }
field = … ;
}
}
Java Language Specification
“12.4.1. When Initialization Occurs
A class or interface type T will be initialized immediately
before the first occurrence of any one of the following:
…an instance of T is created…
…static method declared by T is invoked…
When a class is initialized, its superclasses are initialized, as
well as any superinterfaces that declare any default
methods. Initialization of an interface does not, of itself,
cause initialization of any of its superinterfaces.”
Bad Cycle with Interfaces
interface Base {
Object o = new Child(){}.fun();
default void base() { } // JLS 12.4.1
}
interface Child extends Base {

Object o = new Object() { { println(“clinit”); } };
default Object fun() { throw new RuntimeException(); }
}
public static void main(String[] args) {

new Child() { }; // or Child.fun();
}
Bad Cycle with Interfaces
● base clinit → child method → child clinit

● < JDK 8u40 <=
class: child clinit → base clinit → child method
+ crash because of exception
static: base clinit → child method → child clinit
● < JDK 8u152 EA <=

child clinit → base clinit → child method
Bad Cycle with Interfaces - Solution
interface Fun {
static final synthetic boolean[] $jacocoData =
$jacocoInit();

return $jacocoData == null
? … // slow path without assignment for JDK < 8u152
: $jacocoData ;
}
default void fun() {

…
Runtime Access
class RestrictiveClassLoader extends ClassLoader {

protected Class<?> loadClass(String name, boolean resolve)
throws ClassNotFoundException
{
if (!name.startsWith("java/") &&
!name.startsWith("org/sonarsource/"))
throw new ClassNotFoundException();
return super.loadClass(name, resolve);
}
}
Runtime Access (Problem)
boolean[] probes = ??? ;

// Oups
// can use only classes
// “java/**”
Runtime Access (Solution)
Object access =
java.util.UUID.$jacocoAccess; // created at agent startup
Object[] args = new Object[] {

classId, // Long
className, // String
probesCount // Integer
};
access.equals(args);
boolean[] probes = (boolean[]) args[0];

Get Involved and Have Fun
● https://jdk9.java.net/download/
● https://groups.google.com/forum/#!forum/jacoco
● StackOverflow
● https://github.com/eclipse/eclemma
● https://github.com/jacoco/jacoco

Java Code Coverage Mechanics - EclipseCon Europe 2017

Uploaded by

Copyright:

Available Formats

Java Code Coverage Mechanics - EclipseCon Europe 2017

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Java Code Coverage Mechanics - EclipseCon Europe 2017

Uploaded by

Copyright:

Available Formats

Java

JaCoCo and Eclipse EclEmma Project Leads

Blood and guts of JVM

“ In physics, the term observer effect refers to

java -javaagent:jacocoagent.jar[=options] Application

● Minimal runtime overhead probes[id] = true;

● No side effects on application code ALOADx probes

class Fun { // javap -c Fun

class Outer { // javap -v Outer

enum Fun { // javap -v Fun

class Fun { // javap -c -p -l Fun

// javac -version new ClassReader(classBytes)

// javap -c -XDdetails -cp bin:src Example

class Child extends Base {

public static void main(String[] args) {

static synthetic boolean[] $jacocoInit() {

static synthetic boolean[] $jacocoInit() {

static synthetic boolean[] $jacocoInit() {

interface Fun { interface Fun {

interface Child extends Base {

public static void main(String[] args) {

● base clinit → child method → child clinit

class: child clinit → base clinit → child method

+ crash because of exception

static: base clinit → child method → child clinit

● < JDK 8u152 EA <=

static synthetic boolean[] $jacocoInit() {

default void fun() {

class RestrictiveClassLoader extends ClassLoader {

boolean[] probes = ??? ;

Object[] args = new Object[] {

boolean[] probes = (boolean[]) args[0];

You might also like

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.