Mercurial > hg > Docker > JavaPathFinder

comparison README.md @ 6:e49b52c098c7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
mounted the current directory
author anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
date Tue, 17 Sep 2019 08:48:23 +0900
parents
children
comparison
equal deleted inserted replaced
5:6ad6aeabe992 6:e49b52c098c7
1 # NAME
2
3 Docker-JPF
4
5 ## SYNOPSIS
6
7 ```
8 $ls
9 Dockerfile ThreadTest/ docker-compose.yml entrypoint.sh
10
11 $docker-compose build # docker image build
12
13 $docker-compose up # execute...
14 ```
15
16 ## WHAT's JPF?
17
18 > An extensible software model checking framework for Java bytecode programs
19 > JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
20
21 This Docker Image based on java-8 JavaPathFinder source code.
22 cf. https://github.com/javapathfinder/jpf-core/tree/java-8
23
24
25 ## BASIC USAGE
26
27 1. First, Place the Gradle project you want to run in the same directory as this repository.
28
29 ```
30 $ls
31 Dockerfile ThreadTest/ docker-compose.yml entrypoint.sh
32 ↑ This is target Gradle Project
33 ```
34
35 2. Then edit `entrypoint.sh`.
36
37 This DockerImage mounts the root repository directory to `/os_exercise`.
38 Therefore, please do `cd /os_exercise /hogeproject` first.
39
40 Next, Please execute gradle build.
41 (Gradle is /bin/gradle/gradle-5.6.2/bin/gradle)
42
43 Finally, write the command to be executed by jpf.
44 jpf is `/java-8/bin/jpf`
45
46 3. `$docker-compose build`
47
48 4. `$docker-compose up`
49
50 ## AUTHOR
51
52 AnaTofuZ <anatofuz@cr.ie.u-ryukyu.ac.jp>
53