lldb 0.2.0 → 0.3.0

data/lib/lldb/value.rb

@@ -4,6 +4,7 @@
 
 module LLDB
   class Value
+    prepend NativeLifecycle
     include Enumerable #[Value]
 
     # @rbs return: Frame | Value | Target
@@ -12,10 +13,13 @@ module LLDB
     # @rbs ptr: FFI::Pointer
     # @rbs parent: Frame | Value | Target
     # @rbs return: void
-    def initialize(ptr, parent:)
-      @ptr = ptr # : FFI::Pointer
+    def initialize(ptr, parent:, context: parent.context)
       @parent = parent
-      ObjectSpace.define_finalizer(self, self.class.release(@ptr))
+      initialize_native_object(
+        ptr,
+        release: ->(released) { FFIBindings.lldb_value_destroy(released) },
+        context: context
+      )
     end
 
     # @rbs ptr: FFI::Pointer
@@ -72,7 +76,7 @@ module LLDB
       child_ptr = FFIBindings.lldb_value_get_child_at_index(@ptr, index)
       return nil if child_ptr.nil? || child_ptr.null?
 
-      Value.new(child_ptr, parent: self)
+      Value.new(child_ptr, parent: self, context: context)
     end
 
     # @rbs name: String
@@ -83,7 +87,7 @@ module LLDB
       child_ptr = FFIBindings.lldb_value_get_child_member_with_name(@ptr, name)
       return nil if child_ptr.nil? || child_ptr.null?
 
-      Value.new(child_ptr, parent: self)
+      Value.new(child_ptr, parent: self, context: context)
     end
 
     alias [] child_member
@@ -105,7 +109,10 @@ module LLDB
     def value_as_signed
       return 0 unless valid?
 
-      FFIBindings.lldb_value_get_value_as_signed(@ptr)
+      error = Error.new
+      result = FFIBindings.lldb_value_get_value_as_signed(@ptr, error.to_ptr, 0)
+      error.raise_if_error!('value.value_as_signed')
+      result
     end
 
     alias to_i value_as_signed
@@ -114,7 +121,10 @@ module LLDB
     def value_as_unsigned
       return 0 unless valid?
 
-      FFIBindings.lldb_value_get_value_as_unsigned(@ptr)
+      error = Error.new
+      result = FFIBindings.lldb_value_get_value_as_unsigned(@ptr, error.to_ptr, 0)
+      error.raise_if_error!('value.value_as_unsigned')
+      result
     end
 
     # @rbs return: Integer
@@ -153,7 +163,7 @@ module LLDB
       deref_ptr = FFIBindings.lldb_value_dereference(@ptr)
       return nil if deref_ptr.nil? || deref_ptr.null?
 
-      Value.new(deref_ptr, parent: self)
+      Value.new(deref_ptr, parent: self, context: context)
     end
 
     # @rbs return: Value?
@@ -163,7 +173,7 @@ module LLDB
       addr_ptr = FFIBindings.lldb_value_address_of(@ptr)
       return nil if addr_ptr.nil? || addr_ptr.null?
 
-      Value.new(addr_ptr, parent: self)
+      Value.new(addr_ptr, parent: self, context: context)
     end
 
     # @rbs return: String
@@ -189,7 +199,7 @@ module LLDB
       type_ptr = FFIBindings.lldb_value_get_type(@ptr)
       return nil if type_ptr.nil? || type_ptr.null?
 
-      Type.new(type_ptr)
+      Type.new(type_ptr, context: context)
     end
 
     # @rbs target_type: Type
@@ -200,12 +210,12 @@ module LLDB
       cast_ptr = FFIBindings.lldb_value_cast(@ptr, target_type.to_ptr)
       return nil if cast_ptr.nil? || cast_ptr.null?
 
-      Value.new(cast_ptr, parent: self)
+      Value.new(cast_ptr, parent: self, context: context)
     end
 
     # @rbs return: Integer
     def load_address
-      return 0 unless valid?
+      return INVALID_ADDRESS unless valid?
 
       FFIBindings.lldb_value_get_load_address(@ptr)
     end
@@ -243,7 +253,7 @@ module LLDB
       child_ptr = FFIBindings.lldb_value_create_child_at_offset(@ptr, name, value_type.to_ptr, offset)
       return nil if child_ptr.nil? || child_ptr.null?
 
-      Value.new(child_ptr, parent: self)
+      Value.new(child_ptr, parent: self, context: context)
     end
 
     # @rbs name: String
@@ -256,7 +266,7 @@ module LLDB
       value_ptr = FFIBindings.lldb_value_create_value_from_address(@ptr, name, address, value_type.to_ptr)
       return nil if value_ptr.nil? || value_ptr.null?
 
-      Value.new(value_ptr, parent: self)
+      Value.new(value_ptr, parent: self, context: context)
     end
 
     # @rbs name: String
@@ -268,7 +278,7 @@ module LLDB
       value_ptr = FFIBindings.lldb_value_create_value_from_expression(@ptr, name, expression)
       return nil if value_ptr.nil? || value_ptr.null?
 
-      Value.new(value_ptr, parent: self)
+      Value.new(value_ptr, parent: self, context: context)
     end
 
     # @rbs resolve: bool
@@ -285,7 +295,7 @@ module LLDB
       return nil if wp_ptr.nil? || wp_ptr.null?
 
       target = get_target_from_parent
-      Watchpoint.new(wp_ptr, target: target)
+      Watchpoint.new(wp_ptr, target: target, context: context)
     end
 
     # @rbs return: String?
@@ -309,7 +319,7 @@ module LLDB
       value_ptr = FFIBindings.lldb_value_get_non_synthetic_value(@ptr)
       return nil if value_ptr.nil? || value_ptr.null?
 
-      Value.new(value_ptr, parent: self)
+      Value.new(value_ptr, parent: self, context: context)
     end
 
     # @rbs return: FFI::Pointer

data/lib/lldb/value_list.rb

@@ -4,6 +4,7 @@
 
 module LLDB
   class ValueList
+    prepend NativeLifecycle
     include Enumerable #[Value]
 
     # @rbs return: Frame | Value
@@ -12,10 +13,13 @@ module LLDB
     # @rbs ptr: FFI::Pointer
     # @rbs parent: Frame | Value
     # @rbs return: void
-    def initialize(ptr, parent:)
-      @ptr = ptr # : FFI::Pointer
+    def initialize(ptr, parent:, context: parent.context)
       @parent = parent
-      ObjectSpace.define_finalizer(self, self.class.release(@ptr))
+      initialize_native_object(
+        ptr,
+        release: ->(released) { FFIBindings.lldb_value_list_destroy(released) },
+        context: context
+      )
     end
 
     # @rbs ptr: FFI::Pointer
@@ -46,7 +50,7 @@ module LLDB
       value_ptr = FFIBindings.lldb_value_list_get_value_at_index(@ptr, index)
       return nil if value_ptr.nil? || value_ptr.null?
 
-      Value.new(value_ptr, parent: @parent)
+      Value.new(value_ptr, parent: @parent, context: context)
     end
 
     alias [] value_at_index
@@ -59,7 +63,7 @@ module LLDB
       value_ptr = FFIBindings.lldb_value_list_get_first_value_by_name(@ptr, name)
       return nil if value_ptr.nil? || value_ptr.null?
 
-      Value.new(value_ptr, parent: @parent)
+      Value.new(value_ptr, parent: @parent, context: context)
     end
 
     # @rbs return: Array[Value]

data/lib/lldb/version.rb

@@ -3,5 +3,5 @@
 # rbs_inline: enabled
 
 module LLDB
-  VERSION = '0.2.0' # : String
+  VERSION = '0.3.0' # : String
 end

data/lib/lldb/watchpoint.rb

@@ -4,16 +4,21 @@
 
 module LLDB
   class Watchpoint
+    prepend NativeLifecycle
+
     # @rbs return: Target
     attr_reader :target
 
     # @rbs ptr: FFI::Pointer
     # @rbs target: Target
     # @rbs return: void
-    def initialize(ptr, target:)
-      @ptr = ptr # : FFI::Pointer
+    def initialize(ptr, target:, context: target.context)
       @target = target
-      ObjectSpace.define_finalizer(self, self.class.release(@ptr))
+      initialize_native_object(
+        ptr,
+        release: ->(released) { FFIBindings.lldb_watchpoint_destroy(released) },
+        context: context
+      )
     end
 
     # @rbs ptr: FFI::Pointer
@@ -29,7 +34,7 @@ module LLDB
 
     # @rbs return: Integer
     def id
-      return -1 unless valid?
+      return INVALID_BREAK_ID unless valid?
 
       FFIBindings.lldb_watchpoint_get_id(@ptr)
     end
@@ -99,7 +104,7 @@ module LLDB
 
     # @rbs return: Integer
     def watch_address
-      return 0 unless valid?
+      return INVALID_ADDRESS unless valid?
 
       FFIBindings.lldb_watchpoint_get_watch_address(@ptr)
     end
@@ -113,16 +118,28 @@ module LLDB
 
     # @rbs return: bool
     def watching_reads?
-      return false unless valid?
+      raise InvalidObjectError, 'Watchpoint is not valid' unless valid?
+      APISupport.require_feature!(:watchpoint_access_kind)
 
-      FFIBindings.lldb_watchpoint_is_watching_reads(@ptr) != 0
+      result = FFI::MemoryPointer.new(:int)
+      status = FFIBindings.lldb_watchpoint_is_watching_reads(@ptr, result)
+      raise UnsupportedAPIError, 'Watchpoint read access is unsupported' if status == NativeStatus::UNSUPPORTED
+      raise LLDBError, "Failed to query watchpoint read access (status=#{status})" unless status == NativeStatus::OK
+
+      result.read_int != 0
     end
 
     # @rbs return: bool
     def watching_writes?
-      return false unless valid?
+      raise InvalidObjectError, 'Watchpoint is not valid' unless valid?
+      APISupport.require_feature!(:watchpoint_access_kind)
+
+      result = FFI::MemoryPointer.new(:int)
+      status = FFIBindings.lldb_watchpoint_is_watching_writes(@ptr, result)
+      raise UnsupportedAPIError, 'Watchpoint write access is unsupported' if status == NativeStatus::UNSUPPORTED
+      raise LLDBError, "Failed to query watchpoint write access (status=#{status})" unless status == NativeStatus::OK
 
-      FFIBindings.lldb_watchpoint_is_watching_writes(@ptr) != 0
+      result.read_int != 0
     end
 
     # @rbs return: bool

data/lib/lldb.rb

@@ -3,10 +3,25 @@
 # rbs_inline: enabled
 
 require_relative 'lldb/version'
+require_relative 'lldb/error'
 require_relative 'lldb/ffi_bindings'
 require_relative 'lldb/types'
-require_relative 'lldb/error'
+require_relative 'lldb/native'
+require_relative 'lldb/native_handle'
+require_relative 'lldb/context'
+require_relative 'lldb/native_lifecycle'
+require_relative 'lldb/native_buffer'
 require_relative 'lldb/api_support'
+require_relative 'lldb/native_string_array'
+require_relative 'lldb/file_spec'
+require_relative 'lldb/file_spec_list'
+require_relative 'lldb/address'
+require_relative 'lldb/line_entry'
+require_relative 'lldb/attach_info'
+require_relative 'lldb/expression_options'
+require_relative 'lldb/broadcaster'
+require_relative 'lldb/listener'
+require_relative 'lldb/event'
 require_relative 'lldb/debugger'
 require_relative 'lldb/target'
 require_relative 'lldb/launch_info'
@@ -19,6 +34,13 @@ require_relative 'lldb/breakpoint_location'
 require_relative 'lldb/value'
 require_relative 'lldb/value_list'
 require_relative 'lldb/type'
+require_relative 'lldb/type_member'
+require_relative 'lldb/symbol'
+require_relative 'lldb/function'
+require_relative 'lldb/compile_unit'
+require_relative 'lldb/block'
+require_relative 'lldb/instruction'
+require_relative 'lldb/instruction_list'
 require_relative 'lldb/watchpoint'
 require_relative 'lldb/module'
 require_relative 'lldb/symbol_context'
@@ -29,20 +51,29 @@ module LLDB
   class << self
     # @rbs return: void
     def initialize
-      return if @initialized
+      lifecycle_mutex.synchronize do
+        return if @initialized
 
-      FFIBindings.lldb_initialize
-      @initialized = true
+        error = Error.new
+        status = FFIBindings.lldb_initialize(error.to_ptr)
+        Native.check_status!(status, 'lldb.initialize', error)
+        @initialized = true
 
-      at_exit { terminate }
+        at_exit { terminate if open_debugger_count.zero? }
+      end
     end
 
     # @rbs return: void
     def terminate
-      return unless @initialized
+      lifecycle_mutex.synchronize do
+        return unless @initialized
+        if live_debugger_count.positive?
+          raise LifecycleError, 'cannot terminate LLDB while debuggers are open'
+        end
 
-      FFIBindings.lldb_terminate
-      @initialized = false
+        FFIBindings.lldb_terminate
+        @initialized = false
+      end
     end
 
     # @rbs return: bool
@@ -58,9 +89,46 @@ module LLDB
     end
 
     # @rbs return: Debugger
-    def create_debugger
+    def create_debugger(source_init_files: false)
       LLDB.initialize
-      Debugger.create
+      Debugger.create(source_init_files: source_init_files)
+    end
+
+    # @rbs return: Integer
+    def open_debugger_count
+      lifecycle_mutex.synchronize { live_debugger_count }
+    end
+
+    # @rbs debugger: Debugger
+    # @rbs return: void
+    def register_debugger(debugger)
+      lifecycle_mutex.synchronize do
+        debuggers = (@debuggers ||= []) # : Array[WeakRef]
+        debuggers << WeakRef.new(debugger)
+      end
+    end
+
+    private
+
+    # @rbs return: Integer
+    def live_debugger_count
+      live = [] # : Array[WeakRef]
+      count = (@debuggers || []).count do |reference|
+        begin
+          debugger = reference.__getobj__
+          live << reference
+          !debugger.closed?
+        rescue WeakRef::RefError
+          false
+        end
+      end
+      @debuggers = live
+      count
+    end
+
+    # @rbs return: Mutex
+    def lifecycle_mutex
+      @lifecycle_mutex ||= Mutex.new
     end
   end
 end

data/lldb.gemspec

@@ -25,7 +25,10 @@ Gem::Specification.new do |spec|
     end
   end
 
-  spec.files += Dir['lib/**/*.rb', 'ext/**/*']
+  generated_extension_file = %r{\Aext/lldb/(?:Makefile|mkmf\.log|lldb_wrapper_config\.h|.*\.(?:o|so|dylib|dll))\z}
+  spec.files += Dir['lib/**/*.rb', 'ext/**/*'].select do |file|
+    File.file?(file) && !file.match?(generated_extension_file)
+  end
   spec.extensions = ['ext/lldb/extconf.rb']
   spec.require_paths = ['lib']
 

data/rbs_collection.yaml

@@ -3,7 +3,7 @@ sources:
   - type: git
     name: ruby/gem_rbs_collection
     remote: https://github.com/ruby/gem_rbs_collection.git
-    revision: main
+    revision: b01c0409f55afb1c03e43077c61c44bae61026eb
     repo_dir: gems
 
 # You can specify local directories as sources also.

data/script/check_bindings

@@ -0,0 +1,259 @@
+#!/usr/bin/env ruby
+# frozen_string_literal: true
+
+require 'fileutils'
+require 'open3'
+require 'optparse'
+require 'rbconfig'
+require 'shellwords'
+require 'tempfile'
+require 'tmpdir'
+require 'yaml'
+
+ROOT = File.expand_path('..', __dir__)
+
+options = {
+  header: File.join(ROOT, 'ext/lldb/lldb_wrapper.h'),
+  source: File.join(ROOT, 'ext/lldb/lldb_wrapper.cpp'),
+  ffi: File.join(ROOT, 'lib/lldb/ffi_bindings.rb'),
+  rbs: File.join(ROOT, 'sig/lldb/ffi_bindings.rbs'),
+  surface: File.join(ROOT, 'bindings/surface.yml'),
+  constants: File.join(ROOT, 'bindings/constants.yml'),
+  library: nil,
+  include: ENV['LLDB_INCLUDE'],
+  skip_library: false,
+  skip_constants: false
+}
+
+OptionParser.new do |parser|
+  parser.banner = 'Usage: script/check_bindings [options]'
+  parser.on('--header PATH') { |value| options[:header] = value }
+  parser.on('--source PATH') { |value| options[:source] = value }
+  parser.on('--ffi PATH') { |value| options[:ffi] = value }
+  parser.on('--rbs PATH') { |value| options[:rbs] = value }
+  parser.on('--surface PATH') { |value| options[:surface] = value }
+  parser.on('--constants PATH') { |value| options[:constants] = value }
+  parser.on('--library PATH') { |value| options[:library] = value }
+  parser.on('--include PATH') { |value| options[:include] = value }
+  parser.on('--skip-library') { options[:skip_library] = true }
+  parser.on('--skip-constants') { options[:skip_constants] = true }
+end.parse!
+
+def read_required(path)
+  abort "missing binding input: #{path}" unless File.file?(path)
+
+  File.read(path)
+end
+
+def header_functions(source)
+  source = source.gsub(%r{/\*.*?\*/|//[^\n]*}, '')
+  source.scan(/(?:^|\n)\s*(?:[A-Za-z_][A-Za-z0-9_:<>*&\s]*?)\s+(lldb_[A-Za-z0-9_]+)\s*\([^;]*\)\s*(?:LLDB_WRAPPER_NOEXCEPT\s*)?;/m).flatten.uniq.sort
+end
+
+def ffi_functions(source)
+  source.scan(/\battach_function\s+:([a-z0-9_]+)/).flatten.uniq.sort
+end
+
+def rbs_functions(source)
+  source.scan(/\bdef self\.(lldb_[a-z0-9_]+):/).flatten.uniq.sort
+end
+
+def exported_functions(path)
+  command = if RbConfig::CONFIG['host_os'].match?(/darwin/)
+              ['nm', '-gU', path]
+            else
+              ['nm', '-D', '--defined-only', path]
+            end
+  stdout, stderr, status = Open3.capture3(*command)
+  abort "cannot inspect native library #{path}: #{stderr.strip}" unless status.success?
+
+  stdout.lines.filter_map do |line|
+    name = line.split.last
+    next unless name&.match?(/\A_?lldb_[A-Za-z0-9_]+\z/)
+
+    name.delete_prefix('_').to_sym.to_s
+  end.uniq.sort
+end
+
+def report_difference(label, left_name, left, right_name, right)
+  missing = left - right
+  extra = right - left
+  return [] if missing.empty? && extra.empty?
+
+  messages = []
+  messages << "#{label}: missing from #{right_name}: #{missing.join(', ')}" unless missing.empty?
+  messages << "#{label}: missing from #{left_name}: #{extra.join(', ')}" unless extra.empty?
+  messages
+end
+
+def matching_parenthesis(source, opening)
+  depth = 0
+  source.byteslice(opening..).each_byte.with_index do |byte, offset|
+    depth += 1 if byte == 40
+    depth -= 1 if byte == 41
+    return opening + offset if depth.zero?
+  end
+  nil
+end
+
+def function_body(source, name)
+  opening = nil
+  source.to_enum(:scan, /\b#{Regexp.escape(name)}\s*\(/m).each do
+    match = Regexp.last_match
+    opening_parenthesis = match.begin(0) + match[0].index('(')
+    closing_parenthesis = matching_parenthesis(source, opening_parenthesis)
+    next unless closing_parenthesis
+
+    suffix = source.byteslice((closing_parenthesis + 1)..).to_s
+    opening_offset = suffix.index(/\A\s*(?:LLDB_WRAPPER_NOEXCEPT\s*)?\{/m)
+    next unless opening_offset
+
+    opening = closing_parenthesis + 1 + opening_offset + suffix[opening_offset..].index('{')
+    break
+  end
+  return nil unless opening
+
+  depth = 0
+  source.byteslice(opening..).each_byte.with_index do |byte, offset|
+    depth += 1 if byte == 123
+    depth -= 1 if byte == 125
+    return source.byteslice(opening, offset + 1) if depth.zero?
+  end
+  nil
+end
+
+def check_surface(path, functions, source)
+  document = YAML.safe_load(File.read(path), permitted_classes: [], aliases: false)
+  entries = document.fetch('entries')
+  errors = []
+
+  errors << "surface ledger has missing entries: #{(functions - entries.keys).sort.join(', ')}" unless
+    (functions - entries.keys).empty?
+  errors << "surface ledger has stale entries: #{(entries.keys - functions).sort.join(', ')}" unless
+    (entries.keys - functions).empty?
+
+  allowed_classifications = %w[public internal metadata optional_stub deprecated]
+  entries.each do |name, entry|
+    next unless functions.include?(name)
+
+    classification = entry.fetch('classification', '')
+    unless allowed_classifications.include?(classification)
+      errors << "surface ledger entry #{name} has invalid classification #{classification.inspect}"
+    end
+    if entry.fetch('reason', '').to_s.strip.empty?
+      errors << "surface ledger entry #{name} has no reason"
+    end
+
+    guard = entry.fetch('exception_guard', {})
+    kind = guard.fetch('kind', '')
+    reason = guard.fetch('reason', '').to_s.strip
+    if reason.empty?
+      errors << "surface ledger entry #{name} has no exception guard reason"
+    elsif kind == 'error_boundary'
+      body = function_body(source, name)
+      unless body&.include?('try') && body.include?('catch')
+        errors << "#{name} is marked error_boundary but has no try/catch body"
+      end
+      unless source.match?(/\b#{Regexp.escape(name)}\s*\([^;]*\)\s*LLDB_WRAPPER_NOEXCEPT\s*\{/m)
+        errors << "#{name} is marked error_boundary but is not declared noexcept"
+      end
+    elsif kind != 'noexcept'
+      errors << "surface ledger entry #{name} has invalid exception guard #{kind.inspect}"
+    end
+  end
+
+  methods = document.fetch('ruby_methods', [])
+  methods.each do |mapping|
+    file = File.join(ROOT, mapping.fetch('file'))
+    method = mapping.fetch('method')
+    unless File.file?(file) && File.read(file).match?(/^\s*def #{Regexp.escape(method)}\b/)
+      errors << "#{mapping.fetch('function')} maps to missing Ruby method #{mapping.fetch('method')} in #{file}"
+    end
+  end
+  errors
+end
+
+def find_include_dir(explicit)
+  return explicit if explicit && File.file?(File.join(explicit, 'lldb/API/LLDB.h'))
+
+  discovery = File.join(ROOT, 'ext/lldb/discovery.rb')
+  require discovery
+  LLDB::BuildDiscovery.candidates.find do |candidate|
+    File.file?(File.join(candidate.include_dir.to_s, 'lldb/API/LLDB.h'))
+  end&.include_dir
+end
+
+def check_constants(path, include_dir)
+  document = YAML.safe_load(File.read(path), permitted_classes: [], aliases: false)
+  constants = document.fetch('constants')
+  return [] if constants.empty?
+
+  unless include_dir
+    return ['cannot check constants: LLDB include directory was not found']
+  end
+
+  source = <<~CPP
+    #include <lldb/API/LLDB.h>
+    #include <iostream>
+    int main() {
+  #{constants.map { |entry| "  std::cout << static_cast<unsigned long long>(#{entry.fetch('native')}) << '\\n';" }.join("\n")}
+      return 0;
+    }
+  CPP
+
+  Dir.mktmpdir('lldb-ruby-constants') do |directory|
+    source_path = File.join(directory, 'probe.cpp')
+    binary_path = File.join(directory, 'probe')
+    File.write(source_path, source)
+    compiler = Shellwords.split(ENV.fetch('CXX', RbConfig::CONFIG['CXX'] || 'c++'))
+    _stdout, stderr, status = Open3.capture3(
+      *compiler, '-std=c++17', '-I', include_dir, source_path, '-o', binary_path
+    )
+    return ["constant probe compilation failed: #{stderr.strip}"] unless status.success?
+
+    native_output, native_error, native_status = Open3.capture3(binary_path)
+    return ["constant probe failed: #{native_error.strip}"] unless native_status.success?
+
+    ruby_code = constants.map { |entry| "puts LLDB::#{entry.fetch('ruby')}" }.join('; ')
+    ruby_output, ruby_error, ruby_status = Open3.capture3(
+      RbConfig.ruby, '-I', File.join(ROOT, 'lib'), '-r', 'lldb/types', '-e', ruby_code
+    )
+    return ["Ruby constant probe failed: #{ruby_error.strip}"] unless ruby_status.success?
+
+    native_values = native_output.lines.map(&:strip)
+    ruby_values = ruby_output.lines.map(&:strip)
+    errors = []
+    constants.each_with_index do |entry, index|
+      next if native_values[index] == ruby_values[index]
+
+      errors << "constant #{entry.fetch('ruby')} differs: Ruby=#{ruby_values[index].inspect}, " \
+                "LLDB=#{native_values[index].inspect}"
+    end
+    errors
+  end
+end
+
+header = header_functions(read_required(options[:header]))
+ffi = ffi_functions(read_required(options[:ffi]))
+rbs = rbs_functions(read_required(options[:rbs]))
+source = read_required(options[:source])
+errors = []
+errors.concat(report_difference('header/FFI', 'header', header, 'FFI', ffi))
+errors.concat(report_difference('FFI/RBS', 'FFI', ffi, 'RBS', rbs))
+
+unless options[:skip_library]
+  library = options[:library] || Dir[File.join(ROOT, 'lib/lldb/liblldb_wrapper.{so,dylib,dll}')].first
+  errors << 'native library was not found; pass --library or --skip-library' unless library
+  errors.concat(report_difference('header/native exports', 'header', header, 'native exports', exported_functions(library))) if library
+end
+
+errors.concat(check_surface(options[:surface], header, source))
+errors.concat(check_constants(options[:constants], find_include_dir(options[:include]))) unless options[:skip_constants]
+
+if errors.empty?
+  puts "binding parity OK (#{header.length} functions)"
+  exit 0
+end
+
+warn errors.map { |error| "error: #{error}" }.join("\n")
+exit 1