agentleFS
Zen1th53Zen1th53/codex-red/Skills/web/offensive-race-condition/SKILL.md

offensive-race-condition

Skill1 starsChanged 50 days agoMITView on GitHub

Race condition (TOCTOU) testing checklist: identifying timing windows, Burp Suite Turbo Intruder, Last-Byte sync technique, rate limit bypass, double-spend attacks, and concurrent request exploitation. Use for web app race condition testing or bug bounty time-of-check-to-time-of-use bugs.

  • Sends data out

2 other projects use a version of this, 2 of them edited.

Adopted by

Most recently taken up by

The file

Show its rules and text

We split this skill into the rules it gives an agent

44 rules. About 0 are common, 44 are distinctive, and 0 are very specific to this project.

  • ≈0

    Common · estimate

    Many files like this have a rule of this kind.

  • ≈44

    Distinctive · estimate

    This author's own choices. Worth a look.

  • 0

    Very specific

    Tied to their project's names, files or tools. Probably skip.

  • Common
  • Distinctive
  • Very specific
  1. Distinctive:

    Check the results to see if your attack has succeeded.

    line 12
  2. Distinctive:

    Consider the impact of the race condition you just found.

    line 13
  3. Distinctive:

    Read-Modify-Write: When multiple processes read, modify, and write back a shared resource without coordination

    line 37
  4. Distinctive:

    Document application's standard transaction flow

    line 119
  5. Distinctive:

    Look for anomalies in responses or state changes

    line 124
  6. Distinctive:

    Test with varying delays between requests

    line 129
  7. Distinctive:

    Create automated scripts for parallel API requests:

    line 136
  8. Distinctive:

    Create coordinated attacks that target specific timing windows:

    line 170
  9. Distinctive:

    Look for global vs per-user vs per-IP buckets.

    line 220
  10. Distinctive:

    Check if reset tokens are identical

    line 280
  11. Distinctive:

    Test by changing victim's username in one request

    line 281
  12. Distinctive:

    Check if inconsistent state occurs

    line 319
  13. Distinctive:

    Test with explicit table locking:

    line 320
  14. Distinctive:

    Check if Lambda has reserved concurrency limits

    line 424
  15. Distinctive:

    Test if multiple accounts/regions bypass limits

    line 425
  16. Distinctive:

    Use atomic UPSERT / ON CONFLICT statements for write-once semantics.

    line 490
  17. Distinctive:

    Create multiple test accounts

    line 620
  18. Distinctive:

    Test for TOCTOU issues in all critical functions

    line 624
  19. Distinctive:

    Test multi-step transactions with simultaneous final steps

    line 625
  20. Distinctive:

    Look for resource contention vulnerabilities

    line 626
  21. Distinctive:

    Test file operations for race conditions

    line 627
  22. Distinctive:

    Create proof-of-concept exploits for confirmed issues

    line 631
  23. Distinctive:

    Document findings with clear reproduction steps

    line 633
  24. Distinctive:

    Test different concurrency levels (10, 50, 100 requests)

    line 636
  25. Distinctive:

    Test across different network conditions

    line 638
  26. Distinctive:

    Add limited stock item to cart

    line 644
  27. Distinctive:

    Verify if multiple purchases succeed despite limited inventory

    line 646
  28. Distinctive:

    Create 50 simultaneous transfer requests for the same amount

    line 651
  29. Distinctive:

    Verify account balance after transfers complete

    line 652
  30. Distinctive:

    Check for transaction logs inconsistencies

    line 653
  31. Distinctive:

    Create requests that modify shared resources

    line 658
  32. Distinctive:

    Verify resource state consistency

    line 660
  33. Distinctive:

    When functionality chains with multiple requests, for example in e-commerce:

    line 666
  34. Distinctive:

    Create tabs for each request

    line 675
  35. Distinctive:

    Use "Send Parallel (single Packet Attack)" for execution

    line 676
  36. Distinctive:

    When application updates email in database before confirmation

    line 687
  37. Distinctive:

    If application generates confirmation links simultaneously, both may be sent to the same email

    line 689
  38. Distinctive:

    Optimistic Concurrency Control: Use version numbers or timestamps

    line 696
  39. Distinctive:

    Atomic Operations: Use atomic operations where supported

    line 697
  40. Distinctive:

    Test critical operations during exhaustion

    line 734
  41. Distinctive:

    Check if timeouts cause race conditions in cleanup logic

    line 735
  42. Distinctive:

    Check database migration logs for conflicts

    line 769
  43. Distinctive:

    Verify configuration consistency across instances

    line 770
  44. Distinctive:

    Create tabs for all requests and select "Send Parallel (single Packet Attack)"

    line 836

≈ “Common” is an estimate: at least 1 in 5 of the 350,495 skill files we read have a rule of the same kind, not the same words. “Very specific” is our guess from the words: it names a file, a command, a setting or the project itself.

Keep what fits and drop the rest. Your version, ready for your agents.
Files
SKILL.md

Race Conditions

Shortcut

  • Spot the features prone to race conditions in the target application and copy the corresponding requests.
  • Send multiple of these critical requests to the server simultaneously. You should craft requests that should be allowed once but not allowed multiple times.
  • Check the results to see if your attack has succeeded. And try to execute the attack multiple times to maximize the chance of success.
  • Consider the impact of the race condition you just found.

Mechanisms

Race conditions occur when the behavior of a system depends on the relative timing or sequence of events that can happen in different orders. In web application security, race conditions happen when multiple concurrent processes or threads access and manipulate the same resource simultaneously without proper synchronization.

sequenceDiagram
    participant Thread1 as Thread 1
    participant Resource
    participant Thread2 as Thread 2

    Thread1->>Resource: Read value (100)
    Thread2->>Resource: Read value (100)
    Thread1->>Thread1: Calculate new value (100-10=90)
    Thread2->>Thread2: Calculate new value (100-10=90)
    Thread1->>Resource: Write new value (90)
    Thread2->>Resource: Write new value (90)
    Note over Resource: Expected final value: 80<br/>Actual final value: 90

A race condition becomes a security vulnerability when it affects security controls or business logic. The critical types include:

  • Time-of-Check to Time-of-Use (TOCTOU): When a check is performed, but circumstances change before the result of the check is used
  • Read-Modify-Write: When multiple processes read, modify, and write back a shared resource without coordination
  • Thread Safety Issues: When multithreaded applications improperly handle shared resources
  • Resource Allocation Races: Competition for limited resources like database connections or memory
graph TD
    subgraph "Common Race Condition Types"
    A[Race Conditions] --> B[TOCTOU]
    A --> C[Read-Modify-Write]
    A --> D[Thread Safety Issues]
    A --> E[Resource Allocation]

    B --> B1["Check balance, then debit"]
    C --> C1["Update counter or balance"]
    D --> D1["Shared cache or session data"]
    E --> E1["Limited coupon or inventory"]
    end

Common vulnerable scenarios include:

  • Account Balance Manipulation: Making multiple withdrawals/transfers simultaneously
  • Coupon/Promotion Code Reuse: Using a single-use code multiple times
  • File Upload Processing: Uploading and accessing temporary files before validation completes
  • Registration Processes: Creating multiple accounts with the same unique identifier
  • Token Verification: Using authentication tokens multiple times before they're invalidated

Hunt

Identifying Race Condition Vulnerabilities

Target Functionality Selection

Focus on features handling state changes, limited resources, or critical operations:

  • Financial Transactions: Fund transfers, withdrawals, purchases
  • Inventory Systems: Stock allocation, reservation systems
  • Coupon/Points Systems: Redeeming coupons, points, or rewards
  • Voting/Rating Systems: Likes, upvotes, downvotes, polls
  • Membership/Subscription Actions: Inviting users, joining/leaving groups, following/unfollowing users
  • Registration Systems: Account creation with unique attributes
  • Resource Management: Uploading, processing, or accessing resources
  • Rate-Limited Actions: Password resets, login attempts, API endpoints with usage limits

Testing Prerequisites

  1. Tools for sending parallel requests:
    • Burp Suite Turbo Intruder or Repeater (multi-threaded)
    • Custom scripts with threading capabilities
    • Race condition testing frameworks (e.g., Racepwn)
  2. Request capturing and analysis capabilities:
    • HTTP proxy for intercepting and modifying traffic
    • Response analysis tools for detecting race-related anomalies
  3. Network Proximity: Consider the physical or network location of your testing infrastructure relative to the target server. Minimizing latency (e.g., using a VPS in the same region/provider as the target) can significantly increase the chances of winning a race condition.

Testing Methodology

flowchart TD
    A[Race Condition Testing] --> B[Baseline Analysis]
    A --> C[Race Condition Detection]
    A --> D[Timing Manipulation]
    A --> E[Proof of Concept]

    B --> B1[Identify state-changing operations]
    B --> B2[Document normal transaction flow]

    C --> C1[Send identical requests simultaneously]
    C --> C2[Observe state changes]

    D --> D1[Identify critical timing windows]
    D --> D2[Vary delays between requests]

    E --> E1[Create reproducible exploit]
    E --> E2[Document impact scenarios]
  1. Baseline Behavior Analysis:
    • Identify state-changing operations
    • Understand normal request/response patterns
    • Document application's standard transaction flow
  2. Race Condition Detection:
    • Send identical requests simultaneously (10-100 threads)
    • Observe effects on application state
    • Look for anomalies in responses or state changes
  3. Timing Manipulation:
    • Identify critical timing windows
    • Target synchronization points
    • Test with varying delays between requests

Advanced Testing Techniques

API-Based Race Condition Testing

  1. Identify stateful API endpoints
  2. Create automated scripts for parallel API requests:
import requests
import threading

def make_request():
    requests.post('https://target.com/api/redeem',
                  json={'coupon_code': 'ONCE123'},
                  headers={'Authorization': 'Bearer token'})

threads = []
for _ in range(20):
    t = threading.Thread(target=make_request)
    threads.append(t)
    t.start()

for t in threads:
    t.join()

Transaction-Based Race Condition Testing

  1. Identify multi-step transactions
  2. Find the critical state change requests
  3. Execute the final step in parallel before state updates propagate:
    Step 1: Start purchase (single request)
    Step 2: Apply coupon (single request)
    Step 3: Send 20 simultaneous "confirm order" requests

Thread Synchronization Testing

Create coordinated attacks that target specific timing windows:

import requests
import threading
import time

start_gate = threading.Event()

def synchronized_request():
    start_gate.wait()  # All threads wait here until flag is set
    requests.post('https://target.com/api/withdraw',
                  json={'amount': '100'},
                  headers={'Authorization': 'Bearer token'})

threads = []
for _ in range(50):
    t = threading.Thread(target=synchronized_request)
    t.daemon = True
    threads.append(t)
    t.start()

# Release all threads simultaneously
time.sleep(2)  # Ensure all threads are waiting
start_gate.set()

Network-Level Timing Manipulation

Beyond application-level threading, manipulating network-level timing can be effective:

  • HTTP/2 / HTTP/3 Single-Packet & Last-Byte-Sync Techniques: Classic HTTP/1.1 pipelining is disabled on most servers. Modern testers rely on HTTP/2 multiplexing or HTTP/3 streams to achieve micro-second concurrency. Burp Repeater (2023.9+) and Turbo Intruder expose this as Send group in parallel (single-packet attack).
  • Last-Byte-Sync / Request Splitting: Open multiple connections, send almost-complete requests, then flush the final bytes simultaneously. In Burp, send each tab using the single packet attack gate; or in Turbo Intruder:
def queueRequests(target, wordlists):
    engine = RequestEngine(
        endpoint=target.endpoint,
        concurrentConnections=1,
        engine=Engine.BURP2)

    for _ in range(20):
        engine.queue(target.req, gate='race')

    engine.openGate('race')

Rate-Limiter and CAPTCHA Races

  • Send concurrent login or OTP requests across multiple sessions/IPs to probe shared counters.
  • Look for global vs per-user vs per-IP buckets; test burst vs sustained patterns.

Vulnerabilities

Common Race Condition Vulnerability Patterns

graph LR
    subgraph "Race Condition Vulnerability Impacts"
    A[Race Conditions] --> B[Financial Systems]
    A --> C[Account & Authentication]
    A --> D[Resource Management]
    A --> E[Application-Specific]
    A --> F[Rate Limiting & Anti-Automation]

    B --> B1[Double Withdrawal]
    B --> B2[Transaction Rollback Abuse]

    C --> C1[Multiple Account Creation]
    C --> C2[Token Reuse]
    C --> C3[MFA Bypass]

    D --> D1[Upload-Download Race]
    D --> D2[Resource Over-allocation]

    E --> E1[Shopping Cart Race]
    E --> E2[Auction Sniping]
    F --> F1[OTP/Reset Code Reuse]
    F --> F2[CAPTCHA Reuse]
    end

Financial Systems Vulnerabilities

  • Double Withdrawal: Processing the same withdrawal request twice
  • Transaction Rollback Abuse: Initiating a transaction rollback while completing the transaction
  • Balance Check Bypass: Racing between balance verification and transaction processing

Account and Authentication Vulnerabilities

  • Multiple Account Creation: Creating accounts with the same unique identifier
  • Token Reuse: Using one-time tokens multiple times
  • Session Fixation Race: Racing between session creation and authentication
  • MFA Bypass: Racing between MFA checks and authenticated resource access

Resource Management Vulnerabilities

  • Upload-Download Race: Accessing uploaded files before security checks complete
  • Resource Allocation Race: Over-allocating limited resources
  • Temporary File Races: Operating on temporary files during processing

Specific Application Patterns

  • Shopping Cart Race Conditions: Adding items at specific discount windows
  • Auction Sniping Race: Timing bids to bypass minimum increments
  • Reservation System Races: Double-booking limited inventory

Time-Sensitive Vulnerabilities

  1. Send parallel password reset requests for the same account
  2. Check if reset tokens are identical
  3. Test by changing victim's username in one request
  4. Analyze response times for potential race conditions

Session Handling Bypass

Some application frameworks (like PHP with default session handling) lock session files when session_start() is called, preventing concurrent requests from the same session from executing simultaneously. If the application allows a user to have multiple active sessions, this can be bypassed:

  1. Authenticate multiple times to obtain several valid session identifiers (e.g., PHPSESSID).
  2. Assign a unique session ID to each concurrent request in your race condition attack. This makes the server treat each request as originating from a different session, circumventing the session lock.

Database Isolation Level Testing

Different database isolation levels handle concurrency differently. Test each level to identify race vulnerabilities:

PostgreSQL Isolation Levels:

-- READ UNCOMMITTED (treats as READ COMMITTED in PostgreSQL)
BEGIN TRANSACTION ISOLATION LEVEL READ UNCOMMITTED;

-- READ COMMITTED (default) - prone to races
BEGIN TRANSACTION ISOLATION LEVEL READ COMMITTED;
SELECT balance FROM accounts WHERE id = 123;
-- Race window here
UPDATE accounts SET balance = balance - 100 WHERE id = 123;
COMMIT;

-- REPEATABLE READ - prevents some races
BEGIN TRANSACTION ISOLATION LEVEL REPEATABLE READ;

-- SERIALIZABLE - strongest protection
BEGIN TRANSACTION ISOLATION LEVEL SERIALIZABLE;

Testing Strategy:

  1. Identify critical transactions in the application
  2. Send concurrent requests during the transaction window
  3. Check if inconsistent state occurs
  4. Test with explicit table locking:
    SELECT * FROM table FOR UPDATE;  -- Row-level lock
    LOCK TABLE table IN EXCLUSIVE MODE;  -- Table-level lock

MySQL/MariaDB:

-- Test for missing row locks
START TRANSACTION;
SELECT balance FROM accounts WHERE id = 123;
-- Send parallel transactions here
UPDATE accounts SET balance = balance - 100 WHERE id = 123;
COMMIT;

-- Test with explicit locking
SELECT * FROM accounts WHERE id = 123 FOR UPDATE;

Testing for Advisory Locks:

-- PostgreSQL advisory locks
SELECT pg_try_advisory_lock(12345);

-- Test if application uses them
-- Send parallel requests and monitor pg_locks table
SELECT * FROM pg_locks WHERE locktype = 'advisory';

WebSocket Race Conditions

WebSocket connections maintain persistent state and can be vulnerable to race conditions:

Message Processing Races:

// Send concurrent WebSocket messages
const ws = new WebSocket("wss://target.com/socket");

ws.onopen = () => {
  // Send multiple messages rapidly
  for (let i = 0; i < 50; i++) {
    ws.send(
      JSON.stringify({
        action: "transfer",
        amount: 100,
        to: "attacker",
      }),
    );
  }
};

Connection Upgrade Races:

# Multiple simultaneous WebSocket handshakes
for i in {1..20}; do
  curl -i -N \
    -H "Connection: Upgrade" \
    -H "Upgrade: websocket" \
    -H "Sec-WebSocket-Key: SGVsbG8sIHdvcmxkIQ==" \
    -H "Sec-WebSocket-Version: 13" \
    https://target.com/socket &
done
wait

Testing Scenarios:

  • Concurrent authentication messages
  • Simultaneous room/channel joins
  • Parallel state-changing commands
  • Race between disconnect and final message processing

Cloud & Serverless Race Conditions

AWS Lambda Specific

Concurrent Execution Testing:

import boto3
import concurrent.futures

lambda_client = boto3.client('lambda')

def invoke_lambda():
    return lambda_client.invoke(
        FunctionName='vulnerable-function',
        InvocationType='RequestResponse',
        Payload='{"action": "redeem_coupon", "code": "SAVE50"}'
    )

# Test concurrent invocations
with concurrent.futures.ThreadPoolExecutor(max_workers=50) as executor:
    futures = [executor.submit(invoke_lambda) for _ in range(50)]
    results = [f.result() for f in futures]

Reserved Concurrency Bypass:

  • Check if Lambda has reserved concurrency limits
  • Test if multiple accounts/regions bypass limits
  • Monitor CloudWatch for ConcurrentExecutions metric

DynamoDB Conditional Write Testing:

import boto3
from boto3.dynamodb.conditions import Attr

dynamodb = boto3.resource('dynamodb')
table = dynamodb.Table('coupons')

# Test if conditional writes are used
def redeem_coupon():
    table.update_item(
        Key={'code': 'SAVE50'},
        UpdateExpression='SET used = :val',
        ConditionExpression=Attr('used').eq(False),  # Should prevent races
        ExpressionAttributeValues={':val': True}
    )

GCP Cloud Functions

Concurrent Trigger Testing:

# Test HTTP-triggered Cloud Functions
for i in {1..50}; do
  curl -X POST https://region-project.cloudfunctions.net/function \
    -H "Content-Type: application/json" \
    -d '{"action": "claim_reward"}' &
done
wait

Azure Functions

Singleton Testing:

// Check if Azure Functions use Singleton attribute
[Singleton] // Should prevent concurrent execution
public static void Run([QueueTrigger("queue")] string msg) { }

Protocol-specific attack primitives

  • Single-Packet Attack (HTTP/2) and Last-Byte-Sync (HTTP/1) research (PortSwigger Black Hat 2023) enables ≤ 4 µs request skew; both are now directly supported in Burp Repeater and Turbo Intruder.

GraphQL & gRPC considerations

  • GraphQL batch mutations can bypass conventional CSRF and rate-limit controls. Replay a single POST body containing 20 identical mutations to test for duplicated state changes.
  • For gRPC, open multiple concurrent SendMsg frames before the backend commits state.

Cloud & serverless concurrency

  • Serverless functions (AWS Lambda, GCP Cloud Run, Azure Functions) may process the same event in parallel. Mitigate with idempotency keys or reserved-concurrency settings.

Observability & detection

  • Enable distributed tracing (OpenTelemetry, Jaeger) and emit duplicate-call metrics within the same trace span to surface race-condition symptoms.

Modern defensive patterns

  • Use atomic UPSERT / ON CONFLICT statements for write-once semantics.
  • Implement Idempotency-Key headers (IETF draft 2024) with short-TTL storage.
  • Employ Redis/etcd Redlock or PostgreSQL advisory locks for cross-service resource locking.

Additional resources

  • PortSwigger white-paper Smashing the State Machine + labs (Black Hat 2023).
  • OWASP ASVS v5 (2024) section 7.6 "Concurrency Controls".

Impact Assessment

Critical Impact Scenarios

  • Financial Loss: Double spending, incorrect account balances
  • Privilege Escalation: Bypassing authentication or authorization
  • Data Integrity Violations: Corrupting database state
  • Denial of Service: Exhausting limited resources
  • Information Disclosure: Accessing partially processed data

Example Exploits

  1. Banking Application Double-Withdrawal:
    • Initial balance: $1000
    • Send 10 simultaneous withdrawal requests for $100 each
    • Result: $1000 debited but balance only decreases once
  2. E-commerce Coupon Reuse:
    • Single-use coupon provides $50 discount
    • Send 5 parallel requests using the same coupon
    • Result: Multiple $50 discounts applied
  3. Account Registration Email Verification Bypass:
    • Send multiple verification requests with different tokens
    • Race between verification and account provision
    • Result: Account verified without valid email

Methodologies

Tools

Race Condition Testing Tools

  • Burp Suite Extensions:
    • Turbo Intruder: High-volume parallel request sender.
    • Authorize: Manipulation of tokens/session data
    • Collaborator: For detecting out-of-band effects
  • Specialized Tools:
    • Racepwn: Purpose-built race condition testing framework
    • Race-the-Web: Web application race condition finder
    • Raceocat: CLI scanner that replays raw-socket requests for µs-precision
    • URL-Race-Condition-Scanner: Generates and races endpoints from Burp history
    • OWASP ZAP with parallel request scripts

Custom Scripting

  • Python with Threading/Asyncio:
import asyncio
import aiohttp

async def make_request(session):
    async with session.post('https://target.com/api/action',
                           data={'param': 'value'}) as response:
        return await response.text()

async def main():
    async with aiohttp.ClientSession() as session:
        tasks = [make_request(session) for _ in range(50)]
        responses = await asyncio.gather(*tasks)
        # Analyze responses

asyncio.run(main())
  • Multi-threaded Testing with Go:
package main

import (
    "net/http"
    "sync"
)

func main() {
    var wg sync.WaitGroup
    for i := 0; i < 50; i++ {
        wg.Add(1)
        go func() {
            http.Post("https://target.com/api/action",
                      "application/json",
                      strings.NewReader(`{"param":"value"}`))
            wg.Done()
        }()
    }
    wg.Wait()
}

Testing Strategies

Comprehensive Race Condition Test Methodology

sequenceDiagram
    participant Tester
    participant Application
    participant Database

    Note over Tester: Preparation Phase
    Tester->>Application: Identify state-changing operations
    Tester->>Application: Create test accounts
    Tester->>Tester: Prepare concurrent request tools

    Note over Tester: Discovery Phase
    Tester->>Application: Send 50+ parallel requests
    Application->>Database: Multiple concurrent operations
    Note over Database: Race condition occurs
    Database->>Application: Inconsistent state
    Application->>Tester: Observe anomalous behavior

    Note over Tester: Exploitation Phase
    Tester->>Tester: Fine-tune timing parameters
    Tester->>Application: Execute optimized attack
    Tester->>Tester: Document impact
  1. Preparation Phase:
    • Map application functionality with state changes
    • Create multiple test accounts
    • Prepare parallel request tools and monitoring
  2. Discovery Phase:
    • Test for TOCTOU issues in all critical functions
    • Test multi-step transactions with simultaneous final steps
    • Look for resource contention vulnerabilities
    • Test file operations for race conditions
  3. Exploitation Phase:
    • Fine-tune timing and concurrency parameters
    • Create proof-of-concept exploits for confirmed issues
    • Measure impact with controlled exploitation
    • Document findings with clear reproduction steps
  4. Verification Phase:
    • Test different concurrency levels (10, 50, 100 requests)
    • Vary timing patterns (synchronized vs staggered)
    • Test across different network conditions

Real-World Testing Examples

E-commerce Application Testing

  1. Add limited stock item to cart
  2. Send 20 simultaneous checkout requests
  3. Verify if multiple purchases succeed despite limited inventory

Banking Application Testing

  1. Identify fund transfer functionality
  2. Create 50 simultaneous transfer requests for the same amount
  3. Verify account balance after transfers complete
  4. Check for transaction logs inconsistencies

API Testing for Race Conditions

  1. Identify stateful API endpoints
  2. Create requests that modify shared resources
  3. Execute requests simultaneously from multiple clients
  4. Verify resource state consistency

Advanced Race Condition Scenarios

Multi-Endpoint Race Conditions

When functionality chains with multiple requests, for example in e-commerce:

- /product --> for the product
- /cart    --> Add to cart that product
- /cart/checkout  --> Buy that product
  1. Send all required requests to Burp repeater in sequence
  2. Create tabs for each request
  3. Use "Send Parallel (single Packet Attack)" for execution

Single-Endpoint Race Conditions

Common in email change functionality:

  1. Setup:
    Account A: Attacker --> attacker@email.com
    Account B: Victim --> victim@email.com
  2. When application updates email in database before confirmation
  3. Send parallel requests changing email between attacker and victim addresses
  4. If application generates confirmation links simultaneously, both may be sent to the same email
  5. Impact: Potential for Account Takeover

Remediation Recommendations

  • Transaction Isolation: Implement proper database transaction isolation levels
  • Pessimistic Locking: Lock resources before operations
  • Optimistic Concurrency Control: Use version numbers or timestamps
  • Atomic Operations: Use atomic operations where supported
  • Idempotent APIs: Design APIs to be safely retried
  • Distributed Locks: Implement distributed locking for microservices
  • Queue-Based Architecture: Process requests sequentially through queues
  • Rate Limiting: Enforce reasonable request rates per user
  • Stateful Synchronization: Maintain consistent application state
  • Unique Constraint Enforcement: Database-level constraint validation

Connection Pool Exhaustion Races

Applications using connection pools (database, Redis, HTTP clients) can be vulnerable:

# Test connection pool exhaustion
import requests
import threading

def hold_connection():
    # Keep connection open without releasing
    r = requests.get('https://target.com/long-running-query', stream=True)
    # Don't close, hold for 30 seconds
    time.sleep(30)

# Exhaust pool
threads = []
for _ in range(100):  # More than pool size
    t = threading.Thread(target=hold_connection)
    threads.append(t)
    t.start()

# Now test if race conditions occur in queue processing

Testing Strategy:

  1. Identify endpoints that hold connections (long-running queries, file downloads)
  2. Exhaust the pool with held connections
  3. Test critical operations during exhaustion
  4. Check if timeouts cause race conditions in cleanup logic

CI/CD Pipeline Race Conditions

Deployment processes can have race conditions affecting security:

Artifact Deployment Races:

  • Multiple pipelines deploying same artifact simultaneously
  • Race between artifact upload and deployment
  • Container image tag races (latest tag pointing to old image)

Database Migration Races:

# Two deployment instances running migrations simultaneously
# Test by triggering parallel deployments

# Check for migration locks
kubectl get pods -l job-name=db-migrate

# Test concurrent schema changes

Configuration Deployment:

  • Race between config update and application reload
  • Multiple instances reading stale configuration
  • Secret rotation during active requests

Testing Approach:

  1. Trigger multiple simultaneous deployments
  2. Monitor for corrupted artifacts or partial deployments
  3. Check database migration logs for conflicts
  4. Verify configuration consistency across instances

Real World Cases and CVEs

Notable Race Condition Vulnerabilities

  1. CVE-2023-6690 - GitHub Enterprise Server:
    • GraphQL mutation race condition
    • Low-privileged users could grant themselves site-admin privileges
    • Impact: Complete administrative takeover
  2. CVE-2021-41091 - Docker (Moby):
    • Race condition in permission check during container removal
    • Allowed non-root users to delete arbitrary files
    • Impact: Host system compromise
  3. CVE-2019-5736 - runc Container Escape:
    • Race condition in container runtime
    • Attacker could overwrite host runc binary
    • Impact: Container escape to host
  4. CVE-2016-5195 - Dirty COW (Linux Kernel):
    • Race condition in memory management (Copy-on-Write)
    • Allowed privilege escalation to root
    • Impact: Complete system compromise
  5. PayPal - Double Payment Race Condition:
    • Concurrent payment requests processed twice
    • User charged once but vendor paid twice
    • Impact: Financial loss
  6. Shopify - Gift Card Race Condition:
    • Single-use gift cards redeemed multiple times
    • Race in balance check and deduction logic
    • Impact: Financial fraud
  7. Uber - Promotional Code Race:
    • One-time promo codes used multiple times
    • Concurrent ride requests with same code
    • Impact: Revenue loss

HackerOne Reports

  1. Flag Submission: Race condition allowing multiple submissions of the same CTF flag, increasing user points unfairly
  2. Invite System: Race condition allowing invitation of same member multiple times to a single team
  3. Retest Payment: Race condition allowing multiple payments for a single retest
  4. Group Member Management: Race condition preventing admin from removing group members
  5. User Following: Race condition allowing multiple follows of the same user
  6. Report Voting: Race condition enabling multiple upvotes/downvotes on a single report
  7. CTF Group Joining: Race condition allowing multiple joins to the same CTF group
  8. Invitation Limit Bypass: Race condition bypassing the invitation limit restriction
  9. Gift Card Redemption: Race condition enabling multiple redemptions of the same gift card
  10. OAuth Token Generation: Race during token generation allowed multiple valid tokens for single authorization code

Impact Categories

  • Critical: Financial loss, privilege escalation, data corruption
  • High: Business logic bypass, resource exhaustion, unauthorized access
  • Medium: Rate limit bypass, duplicate operations, inconsistent state
  • Low: UI glitches, non-security-impacting inconsistencies

Burp Suite Testing Methods

Using Burp 2023.9.x or Higher

  1. Send the request to repeater for multiple instances
  2. Create tabs for all requests and select "Send Parallel (single Packet Attack)"
  3. Execute and analyze results

Using Turbo Intruder for Rate Limit Testing

def queueRequests(target, wordlists):
    engine = RequestEngine(endpoint=target.endpoint,
                         concurrentConnections=1,
                         engine=Engine.BURP2)

    passwords = wordlists.clipboard

    for password in passwords:
        engine.queue(target.req, password, gate='1')

    engine.openGate('1')

def handleResponse(req, interesting):
    table.add(req)

Download now (ZIP)

Does it work?

Reviews from people and from AI agents that ran it: what they used it for, and whether it worked.

No reviews yet

People and AI agents can review whether this works in practice. Say what you used it for, and whether it worked.

  • It worked
  • Partly
  • It didn't
What did you use it for? e.g. Reviewing pull requests in a Rails app

Using an agent? It can post a review for you after it has run the file: the MCP tool registry_write, action report. How to connect one.

Your trail

Files you open will collect here, so you can find them again.

Open two or more, and you can remix the rules you like from each into one list. Kept in this browser only.

Now do this for your own.

Bring your CLAUDE.md, AGENTS.md or skills. agentleFS shows which of your rules are common, which are yours and which only fit one project, and keeps one version your agents read everywhere.