... | ... | @@ -4,35 +4,24 @@ |
|
|
1. [Introduction](home#1-introduction)
|
|
|
|
|
|
1. [Overview](home#11-overview)
|
|
|
|
|
|
2. [Launching an application with COJAC](home#12-launching-an-application-with-cojac)
|
|
|
|
|
|
3. [Links and notes](home#13-links-and-notes)
|
|
|
|
|
|
2. [COJAC: the numerical sniffer](home#2-cojac-the-numerical-sniffer)
|
|
|
|
|
|
1. [What COJAC considers suspicious](home#21-what-cojac-considers-suspicious)
|
|
|
|
|
|
2. [Configuring what COJAC will detect](home#22-configuring-what-cojac-will-detect)
|
|
|
|
|
|
3. [Configuring how COJAC will signal the detected problems](home#23-configuring-how-cojac-will-signal-the-detected-problems)
|
|
|
|
|
|
4. [Instrumenting without executing](home#24-instrumenting-without-executing)
|
|
|
|
|
|
5. [Example](home#25-example)
|
|
|
|
|
|
6. [JMX feature](home#26-jmx-feature)
|
|
|
|
|
|
|
|
|
3. [COJAC: the enriching wrapper](home#3-cojac-the-enriching-wrapper)
|
|
|
|
|
|
1. [Our wrapping mechanism](home#31-our-wrapping-mechanism)
|
|
|
|
|
|
2. [Number model "BigDecimal"](home#32-number-model-bigdecimal)
|
|
|
|
|
|
3. [Number model "Interval computation"](home#33-number-model-interval-computation)
|
|
|
|
|
|
4. [Number model "Discrete stochastic arithmetic"](home#34-number-model-discrete-stochastic-arithmetic)
|
|
|
|
|
|
5. [Number model "Automatic differentiation"](home#35-number-model-automatic-differentiation)
|
|
|
|
|
|
4. [Detailed usage](home#4-detailed-usage)
|
... | ... | @@ -40,7 +29,6 @@ |
|
|
5. [Limitations and known issues](home#5-limitations-and-known-issues)
|
|
|
|
|
|
1. [Issues with the sniffer](home#51-issues-with-the-sniffer)
|
|
|
|
|
|
2. [Issues with the wrapper](home#52-issues-with-the-wrapper)
|
|
|
|
|
|
6. [And now...](home#6-and-now)
|
... | ... | @@ -80,6 +68,9 @@ is "called back" from Java library...). |
|
|
With COJAC you don't have to modify your source code or even recompile. All
|
|
|
the work is done at runtime, when your application gets instrumented on-the-fly.
|
|
|
|
|
|
This software is distributed under the "Apache License, v2.0", without any warranty.
|
|
|
|
|
|
|
|
|
## 1.2 - Launching an application with COJAC
|
|
|
|
|
|
COJAC relies on the Java Agent mechanism; our tool is activated via the mere
|
... | ... | |