Function main

experiments/analyze_statistics.py:248–283

()

def main():
    parser = argparse.ArgumentParser(description="Analyze results and plot branch coverage.")
    parser.add_argument("project", help="Project name (e.g., libpng, curl)")
    args = parser.parse_args()
    
    project = args.project
    statistics_dir = os.path.join(OTUPUT_DIR, project, "statistics")
    os.makedirs(statistics_dir, exist_ok=True)
    
    # 1. Process coverage
    final_branches = process_coverage(project, statistics_dir)
    
    # 2. Get seed statistics
    seed_stats = analyze_seed_statistics(project)
    
    # 3. Process logs for cost
    cost_stats = analyze_log_directory(os.path.join(OTUPUT_DIR, project))
    
    # 4. Save results to txt
    cost_file_path = os.path.join(statistics_dir, "cost_info.txt")
    with open(cost_file_path, "w", encoding='utf-8') as f:
        for k, v in seed_stats.items():
            f.write(f"{k}: {v}\n")
            
        for k, v in cost_stats.items():
            if "Cost" in k:
                f.write(f"{k}: {v:.6f}\n")
            else:
                f.write(f"{k}: {v}\n")
                
        f.write(f"Final Covered Branches: {final_branches}\n")
        
    print(f"Statistics saved to {cost_file_path}")
    
    # 5. Plot coverage growth curve
    plot_coverage_growth(project, statistics_dir)

if __name__ == "__main__":
    main()