What do you think?
Rate this book
LOGIC PROGRAMMING WITH FLIX: BUILDING ANALYZERS AND CONSTRAINT SOLVERS: DESIGN STATIC ANALYZERS, TYPE CHECKERS, AND PROGRAM VERIFICATION TOOLS WITH DATALOG AND FUNCTIONAL PROGRAMMING ON THE JVM
Build real analyzers and constraint solvers on the JVM with Flix and Datalog, from facts and rules to production ready tools.
Static analysis work often stalls on brittle schemas, unclear rules, and hard to maintain pipelines. Teams need a path that turns program facts into trustworthy findings without guesswork.
This book shows a complete workflow in Flix, a statically typed language with first class Datalog. You will design safe schemas, compose rules, integrate solver technology, and ship analyzers that other developers can run and extend.
Set up Flix and the toolchain, structure projects, and run analyzersModel facts and rules with stable keys, apply stratified negation safelyDefine custom lattices, implement joins and monotone dataflowEncode constant propagation and interval domains with correctness checksBuild call graphs with CHA and RTA, add Andersen and Steensgaard points toHandle field sensitivity, heap models, arrays, and stringsImplement IFDS problems and IDE with edge functions and summariesCreate a full JVM taint analysis with sources sinks and sanitizersIntegrate SMT solvers Z3 and cvc5 for refinement checksUse SAT4J and Choco for scheduling and allocation search problemsBuild a small type checker backed by solver constraintsTune performance with an engine evaluation plan and a RAM style mental modelRefactor rules and schemas, apply domain bounding and delta reductionAdd integrity rules, provenance instrumentation, and delta debuggingTest with property tests and regression suites that lock behaviorPackage with flix.toml and fpkg, ship fat JARs for universal runsAdopt a practical IDE and CI workflow with versioning and release automationThis is a code heavy guide with working Flix, Datalog, and JVM snippets that map directly to analyzers you can run in your environment.
Grab your copy today.
Static analysis work often stalls on brittle schemas, unclear rules, and hard to maintain pipelines. Teams need a path that turns program facts into trustworthy findings without guesswork.
This book shows a complete workflow in Flix, a statically typed language with first class Datalog. You will design safe schemas, compose rules, integrate solver technology, and ship analyzers that other developers can run and extend.
Set up Flix and the toolchain, structure projects, and run analyzersModel facts and rules with stable keys, apply stratified negation safelyDefine custom lattices, implement joins and monotone dataflowEncode constant propagation and interval domains with correctness checksBuild call graphs with CHA and RTA, add Andersen and Steensgaard points toHandle field sensitivity, heap models, arrays, and stringsImplement IFDS problems and IDE with edge functions and summariesCreate a full JVM taint analysis with sources sinks and sanitizersIntegrate SMT solvers Z3 and cvc5 for refinement checksUse SAT4J and Choco for scheduling and allocation search problemsBuild a small type checker backed by solver constraintsTune performance with an engine evaluation plan and a RAM style mental modelRefactor rules and schemas, apply domain bounding and delta reductionAdd integrity rules, provenance instrumentation, and delta debuggingTest with property tests and regression suites that lock behaviorPackage with flix.toml and fpkg, ship fat JARs for universal runsAdopt a practical IDE and CI workflow with versioning and release automationThis is a code heavy guide with working Flix, Datalog, and JVM snippets that map directly to analyzers you can run in your environment.
Grab your copy today.
271 pages, Kindle Edition
Published October 29, 2025
Ratings & Reviews
Friends & Following
Create a free account to discover what your friends think of this book!
Community Reviews
No one has reviewed this book yet.