Skip to contentSkip to content
Verified credentials. On-chain. Forever.Learn more
Ewance
Sign in
Cover image for Detect Use-After-Free with Pointer Analysis in a C++ Codebase
Code

Detect Use-After-Free with Pointer Analysis in a C++ Codebase

FreeVerified credential4 weeksExpert

Overview

What this challenge is about.

Detect Use-After-Free with Pointer Analysis in a C++ Codebase. Expert-level challenge in code. Writing production code that solves real engineering problems,...

CredentialBlockchain-anchored
ShareableLinkedIn-ready
LanguageEnglish
PaceSelf-paced

The Brief

What you'll do, and what you'll demonstrate.

Find use-after-free bugs in a 220K-line C++ codebase using pointer analysis and deliver a triaged candidate list with above 50 percent confirmed-bug rate in the top 30.

This is not a coding exercise. It is the work a software engineer does between a Jira ticket and a merged PR. That distinction matters to every hiring manager who has seen candidates solve LeetCode problems and none who have shipped production code under real constraints.

When you finish, you will have something most graduates do not: a real-world deliverable, verified by Ewance, that you can show to a hiring manager and say "I did this. Here is the proof."

Earning criteria — what you'll demonstrate

  • Implement an Andersen-style pointer analysis in a real checker
  • Reason about may-alias vs must-alias in pointer-analysis design
  • Write a custom Clang static-analyzer checker end-to-end
  • Triage static-analysis output honestly with confirmed/FP buckets

Program Fit

Where this fits in your program.

Sharpens the same skills your degree expects you to demonstrate.

Aligned coursework coming soon.

One more thing

You can put a credential on your CV by Friday.