Updated docs. Added js reachables test

Signed-off-by: Prabhu Subramanian <[email protected]>

README.md

@@ -5,7 +5,7 @@ Atom is a novel intermediate representation for applications and a standalone to
 Our vision is to make atom useful for a number of use cases such as:
 
 - **Supply-chain analysis:** Generate evidence of external library usage including the flow of data from sources to sinks. Atom is used by [OWASP cdxgen](https://github.com/CycloneDX/cdxgen) to improve the precision and comprehensiveness of the generated CycloneDX document.
-- **Vulnerability analysis:** Describe vulnerabilities with evidence of affected symbols, call paths, and data-flows. Enable variant and reachability analysis at scale.
+- **Vulnerability analysis:** Describe vulnerabilities with evidence of affected symbols, call paths, and data-flows. Enable variant and [reachability analysis](https://github.com/AppThreat/atom/blob/main/specification/docs/slices.md#reachables-slice) at scale.
 - **Exploit prediction:** Predict exploits using precise representations of vulnerabilities, libraries, and applications.
 - **Threat-model and attack vectors generation:** Generate precise threat-models and attack vectors for applications at scale.
 - **Application context detection:** Generate context useful for summarization and risk-profile generation (e.g. services, endpoints, and data attributes).