skyleaworlder paper-reading General Discussions
Pinned Discussions
General Discussions
Chat about anything and everything here
-
You must be logged in to vote 2021-Graph-Based Seed Object Synthesis for Search-Based Unit Testing
type/paperPaper reading content/artifactTool Introduction topic/test-generationTest Generation -
You must be logged in to vote 2023-Can Large Language Models Write Good Property-Based Tests?
type/paperPaper reading topic/llmLLM topic/test-generationTest Generation content/studyCase Study / Empirical Study / Report -
You must be logged in to vote 2011-Flow-Sensitive Pointer Analysis for Millions of Lines of Code
type/paperPaper reading content/theoryTheory Presentation topic/classic-static-analysisClassic Static Analysis topic/value-flow-analysisValue-flow Analysis -
You must be logged in to vote 2004-Precise Call Graphs for C Programs with Function Pointers
status/TODOPaper not read yet type/paperPaper reading content/theoryTheory Presentation topic/classic-static-analysisClassic Static Analysis -
You must be logged in to vote 2004-Precise and Efficient Static Array Bound Checking for Large Embedded C Programs
type/paperPaper reading content/theoryTheory Presentation topic/classic-static-analysisClassic Static Analysis status/wontreadwon't read -
You must be logged in to vote 2012-Static Memory Leak Detection Using Full-Sparse Value-Flow Analysis
type/paperPaper reading content/artifactTool Introduction topic/classic-static-analysisClassic Static Analysis topic/value-flow-analysisValue-flow Analysis issue/memory-leakMemory Leak -
You must be logged in to vote 2014-Accelerating Dynamic Detection of Uses of Undefined Values with Static Value-Flow Analysis
type/paperPaper reading content/artifactTool Introduction topic/instrumentationInstrumentation topic/static-dynamic-combinedStatic and dynamic techniques in combination topic/value-flow-analysisValue-flow Analysis issue/uninitialized-variableUninitialized Variables -
You must be logged in to vote 2016-SVF: Interprocedural Static Value-Flow Analysis in LLVM
type/paperPaper reading content/artifactTool Introduction topic/classic-static-analysisClassic Static Analysis topic/value-flow-analysisValue-flow Analysis -
You must be logged in to vote 2000-SOOT: A JAVA BYTECODE OPTIMIZATION FRAMEWORK
status/TODOPaper not read yet content/artifactTool Introduction topic/classic-static-analysisClassic Static Analysis type/thesisThesis topic/instrumentationInstrumentation -
You must be logged in to vote 2019-google/sanitizers - wiki - AddressSanitizer
status/TODOPaper not read yet content/artifactTool Introduction type/softwareSoftware Architecture topic/instrumentationInstrumentation topic/dynamic-analysisDynamic Analysis -
You must be logged in to vote 2018-Qsym : A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing
topic/symbolic-executionSymbolic Execution type/paperPaper reading content/artifactTool Introduction topic/fuzzingFuzzing topic/test-generationTest Generation topic/dynamic-analysisDynamic Analysis -
You must be logged in to vote 2018-Attack surface definitions: A systematic literature review
type/paperPaper reading content/studyCase Study / Empirical Study / Report topic/attack-surfaceAttack Surface -
You must be logged in to vote 2016-(State of) The Art of War: Offensive Techniques in Binary Analysis
topic/symbolic-executionSymbolic Execution type/paperPaper reading content/artifactTool Introduction topic/fuzzingFuzzing status/wontreadwon't read topic/instrumentationInstrumentation topic/dynamic-analysisDynamic Analysis -
You must be logged in to vote 2008-KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs (Software)
topic/symbolic-executionSymbolic Execution topic/SAT&SMTSAT or SMT content/artifactTool Introduction type/softwareSoftware Architecture topic/test-generationTest Generation topic/dynamic-analysisDynamic Analysis -
You must be logged in to vote 2023-Taxonomy of Attacks on Open-Source Software Supply Chains
status/TODOPaper not read yet type/surveySurvey content/studyCase Study / Empirical Study / Report topic/supply-chainSupply Chain (OSS) topic/attack-surfaceAttack Surface -
You must be logged in to vote 2014-Enhancing Symbolic Execution with Veritesting
topic/symbolic-executionSymbolic Execution type/paperPaper reading content/artifactTool Introduction topic/verificationVerification topic/static-dynamic-combinedStatic and dynamic techniques in combination -
You must be logged in to vote 2023-Dynamic Analysis [SFU - CMPT 745 - Software Engineering]
good first issueGood for newcomers type/talk-slidesSlides reading or Talks content/theoryTheory Presentation topic/dynamic-analysisDynamic Analysis -
You must be logged in to vote 1997-Backwards-compatible bounds checking for arrays and pointers in C programs
type/paperPaper reading content/theoryTheory Presentation topic/dynamic-analysisDynamic Analysis -
You must be logged in to vote 2006-Backwards-Compatible Array Bounds Checking for C with Very Low Overhead
status/TODOPaper not read yet type/paperPaper reading content/artifactTool Introduction topic/instrumentationInstrumentation topic/dynamic-analysisDynamic Analysis -
You must be logged in to vote 2008-Testing for Buffer Overflows with Length Abstraction
topic/symbolic-executionSymbolic Execution type/paperPaper reading content/artifactTool Introduction topic/test-generationTest Generation topic/instrumentationInstrumentation topic/dynamic-analysisDynamic Analysis -
You must be logged in to vote 2008-KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
topic/symbolic-executionSymbolic Execution type/paperPaper reading content/artifactTool Introduction topic/test-generationTest Generation -
You must be logged in to vote 2003-Testing C Programs for Buffer Overflow Vulnerabilities
type/paperPaper reading content/artifactTool Introduction topic/instrumentationInstrumentation topic/dynamic-analysisDynamic Analysis -
You must be logged in to vote 2018-From Start-ups to Scale-ups: Opportunities and Open Problems for Static and Dynamic Program Analysis
type/paperPaper reading content/deploymentSoftware Deployment status/wontreadwon't read topic/static-dynamic-combinedStatic and dynamic techniques in combination topic/dynamic-analysisDynamic Analysis -
You must be logged in to vote 2014-A Survey of Dynamic Program Analysis Techniques and Tools
content/theoryTheory Presentation type/surveySurvey topic/dynamic-analysisDynamic Analysis -
You must be logged in to vote 2021-Share First, Ask Later (or Never?) Studying Violations of GDPR’s Explicit Consent in Android Apps
status/TODOPaper not read yet type/paperPaper reading content/studyCase Study / Empirical Study / Report topic/mobile-privacyMobile Privacy
