Skip to main content
AI application & agent security

Find the risk in code. Follow the action it can enable.

A prompt can look harmless. The tool, API or data path behind it may not be.

HAIEC helps uncover source-visible security risks across agents, prompts, RAG, MCP tools, identities and downstream services. Explore findings first, then connect the relevant authority and runtime evidence to a defensible decision.

Deterministic source findingsScoped GitHub App accessCoverage-aware evidence
AI ACTION & SOURCE EXPOSURE MAPINTERACTIVE CONCEPT
Illustrative agent action and exposure mapAn untrusted prompt or retrieved document flows through an agent into an MCP tool and a downstream service. Static source evidence can establish candidate paths, but not execution, authorization or observed effects.01 / UNTRUSTEDPromptInstruction boundary02 / EXTERNALRAG contentRetrieved documents03 / APPLICATIONAI AgentCode + tool selection04 / REACHABLEMCP / API toolAuthority matters05 / POSSIBLE EFFECTData • state • actioninput pathcall
Supported source path, if establishedDownstream effects require separate proof
Capability is not execution.A source finding can matter before runtime telemetry exists.

Explanatory diagram. No customer source, live threat or runtime effect is being analyzed on this page.

01 / Start with your source

Connect the source. Keep the context.

Choose the workflow that fits your team. HAIEC supports authenticated source analysis, GitHub App repository connections and source uploads. Local developer packages are a separate path.

HAIEC GitHub App

Authorize only the repositories you select. Connect a verified repository to an AI System for scoped remote scanning and Assurance. GitHub App credentials are issued server-side.

Explore GitHub App setup →

Repository or source upload

Analyze an authorized GitHub repository or supported source archive. Review file scope, findings and coverage through the HAIEC dashboard.

Start a source scan →

AI AppSec package

Run separately scoped static checks locally or through a compatible coding agent. Inspect findings and coverage without using the hosted scan engine.

Explore AI AppSec →
GitHub App / select a step
GitHub App / 01

Your repositories. Your scope.

Install the HAIEC GitHub App and grant access only to repositories you choose. No personal access token needs to be provided to HAIEC.

Selected repository accessContents read access applies within the authorized installation scope.
Credentials handled server-sideShort-lived installation credentials are minted by HAIEC services and never returned to API callers.
02 / Interactive source investigation

See a finding. Trace the consequence.

Select a source scenario to understand how HAIEC can expose security-relevant code patterns, where a source path may lead and what still needs independent evidence.

STATIC SECURITY / SOURCE & ACTION EXPLORER
Investigate an AI application risk

Instructional cases grounded in the supported analysis model

NO SCAN EXECUTED
SOURCE SCENARIO / 01

Untrusted retrieval meets a privileged export tool.

An AI agent reads retrieved content while its source exposes a route toward a customer-record export tool. The combination creates a relevant review question.

RAG · Agent toolsPOTENTIAL EXPOSURESource analysis only
src/agents/support_agent.tsPSEUDOCODE / FOR EXPLANATION
01const context = await retrieveDocuments(query)
02const decision = await agent.respond(context)
03const tools = registerTools([exportCustomerRecords])
04await dispatchTool(decision.tool, decision.args)
What source can show
Candidate action-enabling tool path

Source relationships may show a tool registration and dispatch path that deserves authorization review.

What needs more evidence
Actual export and delegated choice

A sensitive tool route in code does not establish that customer records were accessed or exported.

Selected case also updates the evidence inspector and report preview below.Explore sample Action Map →
03 / Independent evidence questions

Security findings are the start. Evidence makes the difference.

Each evidence plane answers a different question. Select one to see what it can establish for the chosen source scenario. No missing plane is automatically a failure or a pass.

Five independent evidence planes
EVIDENCE PLANE / CODE CAPABLE

What can the source path enable?

Supported source findings, bindings and reachability can show code-capable operations or security-relevant patterns, including uncertainty. Source relationships are not necessarily full reachable action proof.

Selected scenario: RAG · Agent toolsThe selected scenario illustrates a code-level concern that a real authorized scan would need to inspect and qualify.
Independent dimensions, not a required five-stage pipeline.
04 / Security across the stack

The risk is rarely limited to the prompt.

Explore how supported static evidence, local tools and authorized runtime observations contribute to different security questions. Each family has its own boundaries.

Selected security concern

Prompt & instruction attacks

Untrusted prompts and instructions may steer model-driven workflows toward unintended actions or content.

Static source evidence

Prompt construction, context interpolation, trust-boundary and validation patterns in supported source.

Authorized runtime evidence

Supported prompt injection, jailbreak or role-confusion tests only where eligible and actually executed.

A static signal does not prove prompt-injection success or endpoint compromise.
Explore related capability →
05 / Findings to usable evidence

See what a result can actually tell you.

Explore a source finding summary, review what was analyzed and identify the next question. A real HAIEC scan binds results to an actual run, source revision, scope and producer metadata.

Source-linked security findings and remediation context
Scoped scan status, coverage and analysis limitations
Supported baseline comparisons and SARIF/export paths
Qualified evidence for follow-on Assurance where eligible
Open public sample reports →
Source finding explorer / RAG · Agent toolsEDUCATIONAL PREVIEW

Candidate action-enabling tool path

Source areaAgent tool registration and dispatch
Evidence classSource-level candidate or finding, depending on actual analysis
Business questionCould untrusted content influence a privileged export operation?
This teaching example is not a persisted scan, known vulnerability, confirmed reachability result or runtime observation.
Preview contents follow the selected instructional case. No live data is fetched or stored.
06 / Complementary evidence

One question cannot be settled by every tool.

Source testing, runtime testing and HAIEC Assurance make different claims. Use each where it creates evidence for your actual security or operational decision.

SOURCE / CODE

Static security analysis

Identify supported source risks, candidate agent actions and configuration exposures without executing the target application.

Analyze source →
RUNTIME / RESPONSE

Authorized adversarial testing

Exercise eligible test categories on a permitted endpoint, then inspect actual response evidence, held scope and findings.

Explore runtime lab →
ASSURANCE / DECISION

Deterministic AI assurance

Evaluate qualified source, authority, runtime and control evidence for bounded conclusions and accountable decisions.

Explore Assurance →
07 / Explore the ecosystem

Built for security teams. Accessible to builders.

Get hands-on with the tools and learning resources that extend HAIEC's core application-security experience.

Developer tools

AI AppSec

Local static analysis for supported AI application and agent code, including source-linked findings and coverage.

Explore local scanner →
Developer tools

MCP Tenant Isolation

Examine source-level patterns that may expose cross-tenant context or shared resources.

Explore MCP checks →
Developer tools

LLMVerify

Run separately scoped local model input/output checks. Its results are not automatically a platform assurance verdict.

Explore LLMVerify →
Interactive learning

Attack-to-Consequence Atlas

Practice tracing adversarial agent behavior to security exposure and potential business effects.

Explore the atlas →
Interactive learning

Integration Evidence Field Guide

Choose the right source, connection and proof for specific AI assurance questions.

Open field guide →
Research & standards

Controls and methodology

See how applicable control objectives, source coverage, delegated authority and evidence support assessment.

Explore assurance controls →
Questions answered

Better security starts with a precise question.

Does a source finding prove an agent performed an action?

No. Source inspection can reveal supported paths and risks. An actual invocation or downstream effect needs separately qualified observation or target evidence.

Does installing the GitHub App run every scan automatically?

No. Installing and scoping the App grants access to selected repositories. Pull-request analysis and full remote Assurance are distinct workflows with their own configuration and initiation conditions.

Can I use HAIEC without a GitHub App installation?

Yes. Authenticated source analysis supports other authorized repository and upload workflows. AI AppSec is also available as an independent local developer package.

How does static security relate to runtime testing?

Static source findings address code patterns and possible action paths. Authorized runtime testing observes endpoint responses under admitted tests. Neither automatically establishes the other.

Does a standards mapping establish certification?

No. It can organize relevant technical evidence for control reviews. Certification, legal compliance and operating effectiveness have separate requirements.

What if analysis is incomplete or yields no findings?

HAIEC distinguishes findings from coverage and limitations. Unanalyzed paths and missing sources do not become evidence that the system is safe.

Is my source code retained after a scan?

Source code is handled transiently for authorized analysis. HAIEC retains scan findings, coverage, metadata and evidence artifacts; raw source is not retained as a customer evidence record after the scan completes.

Move from code risk to actionable evidence

Know what your AI application can enable.

Start with a source scan, connect the repositories you own or explore a focused enterprise assurance engagement. Follow the evidence to the consequential decisions that matter.

Share this page: