Batfish Network Analysis Updates

GET https://watchchangelog.com/api/v1/entries?source=batfish.updates

{
  "source": "batfish.updates",
  "vendor": "Batfish",
  "id": "tag:github.com,2008:Repository/27507850/v2025.07.07",
  "published_at": "2025-07-07T20:00:00.000Z",
  "title": "Batfish v2025.07.07",
  "url": "https://github.com/batfish/batfish/releases/tag/v2025.07.07",
  "summary": "What's Changed Lots of dependency updates Efficiency improvements and feature additions for symbolic route policy modeling Many minor improvements across all vendors New RISK: or FATAL: warnings that either indicate unsafe configuration (such as Junos BGP regular expressions) or will prevent configurations from being deployed (e.g., missing peer-as for a Junos eBGP session). Use these for additional hygiene checks and efficiency improvements. Improved documentation and some rules to ease AI code and docs generation via Roo. List of commits CompareRoutePolicies: Compute relevant route attributes by @millstein in #9137 Batfish: include question name and runtime in answer completion logs by @dhalperi in #9150 Junos: add some ipsec crash protection by @dhalperi in #9152 Junos: convert as-path-length by @dhalperi in #9154 Junos: warn if a standard community regex is used that can match longer strings by @dhalperi in #9167 Junos: reduce blast radius of missing quote in hierarchical configs by @dhalperi in #9172 Junos: extraction for static-route no-readvertise by @dhalperi in #9177 Junos: extraction and todo for static route tag2 by @dhalperi in #9178 Junos: add support for positive versions of no-install and no-advertise by @dhalperi in #9179 Junos: fles out rest of static route grammar with todos by @dhalperi in #9180 NX-OS: add missing reference tracking for snmp-server user use-ipv[46]acl by @dhalperi in #9184 Junos: cache risky community regexes by @dhalperi in #9185 VendorConfigurationFormatDetector: minor optimizations by @dhalperi in #9189 Question development documentation by @ratulm in #9186 Junos: parse and todo bgp-output-queue-priority by @dhalperi in #9194 Junos: parse and todo then tag2 by @dhalperi in #9195 Junos: parsing inet6 unicast add-path by @dhalperi in #9196 Junos: bgp validation parsing by @dhalperi in #9197 Junos: bgp loops inet6 and grammar fix by @dhalperi in #9199 Junos: parse some MPLS-related configuration by @dhalperi in #9200 Junos: some vpn-related parsing by @dhalperi in #9201 Junos: some misc top-level BGP config by @dhalperi in #9202 Junos: add more routing-options martians syntax and test it by @dhalperi in #9203 Docs: New vendor or feature by @ratulm in #9187 Junos: add routing-instance in more system-level config by @dhalperi in #9205 Junos: implement from next-hop by @dhalperi in #9206 Junos: extract route conditions for IPv6 prefixes by @dhalperi in #9207 Junos: add another IPsec authentication algorithm by @dhalperi in #9208 Junos: add misc security parsing by @dhalperi in #9209 Junos: misc IPsec parsing by @dhalperi in #9210 Junos: firewall term (source|destination)-port-range-optimize by @dhalperi in #9211 Junos: misc bgp bmp by @dhalperi in #9212 IOS XE: add support and tests for FortyGigabitEthernet, FiftyGigE, and HundredGigE interfaces by @dhalperi in #9213 Batfish: disable parse reuse by default by @dhalperi in #9214 RibGroup: fix a deserialization error if there are no supported ribs in the group by @dhalperi in #9219 LiteralLong: cleanup expr by @dhalperi in #9220 AbstractRoute: delete an unnecessary JsonCreator by @dhalperi in #9224 bugfix: add route reflector configuration for Arista EVPN neighbors by @Chensjian in #9226 Batfish: control whether completion metadata is proactively computed by @dhalperi in #9232 Junos: add empty lines by @dhalperi in #9236 Junos: add retransmit-interval and fix ranges for hello- and dead-interval by @dhalperi in #9237 Junos: flesh out more tunnel grammar, specifically destination-udp-port by @dhalperi in #9238 Junos: slightly more generous BMP station logic by @dhalperi in #9239 Junos: support tagging generated routes by @dhalperi in #9240 Parsing for Junos static ipv6 routes by @SLarkworthy in #9241 Rename junos StaticRoute class to StaticRouteV4 by @SLarkworthy in #9242 ipv6 extraction for Junos static routes by @SLarkworthy in #9244 Ip6,Prefix6: add caching by @dhalperi in #9245 IPv6: fix toString by @dhalperi in #9246 Ip6: delete unused getAddressBits and the scary (unbounded) cache it has by @dhalperi in #9247 Ip6: remove unused AUTO by @dhalperi in #9248 Junos: allow numbers and hyphens in routing-instance names by @dhalperi in #9249 Support more rib names in Junos parser by @SLarkworthy in #9253 Junos: improve presentation of defined structure names by @dhalperi in #9264 IpAccessListRename: delete unused code by @dhalperi in #9268 AclLineMatchExprs: redo and and or helpers by @dhalperi in #9270 SubRange: optimize hashCode by @dhalperi in #9271 AclLineMatchExprs: add helpers for destIp and srcIp by @dhalperi in #9269 ConvertConfigurationJob: optimize use of InvalidVendorStructureIdEraser by @dhalperi in #9272 Add MatchDestinationPort/MatchSourcePort by @dhalperi in #9275 StructureIdEraser: better tests by @dhalperi in #9276 MatchProtocol and a few VS fixes by @dhalperi in #9279 Fortios: improved conversions by @dhalperi in #9280 Junos: parse, extract, reference srlgs by @dhalperi in #9288 Junos: family-aware firewall filter reference tracking for family inet6 by @dhalperi in #9290 VendorConfigurationFormatDetector: lower iptables priority by @dhalperi in #9293 ExtendedCommunity: add BGP RPKI well-known extended communities by @dhalperi in #9311 NGW: streamline AclLineMatchExprs by @dhalperi in #9314 ibm: upgrade version by @dhalperi in #9316 BDD: remove tracing by @dhalperi in #9317 Junos: start implementing policy-statement term then correctly with overrides by @dhalperi in #9323 TestRoutePolicies: Support for static routes by @millstein in #9334 PaloAlto: support redistribution of more protocols into BGP by @progwriter in #9338 Warn when if-route-exist has no prefix by @SirasornT in #9340 PaloAlto: destination prefixes optional during redistribution by @progwriter in #9347 Warn when ebgp peer is missing peer-as by @SirasornT in #9349 Junos: support apply group wildcards on static route prefixes by @anothermattbrown in #9354 Junos: parse if-route-exists ip address by @SirasornT in #9353 Junos: Fix local-address grammar to require IP address by @SirasornT in #9357 Make Jackson ignore fatal red flag warnings by @SirasornT in #9359 Junos: Detect bgp peer-as commit errors by @SirasornT in #9358 Junos: Warn when add/setting community with no non-wildcard members by @SirasornT in #9355 ExtendedCommunity: fix case awareness by @dhalperi in #9362 ExtendedCommunity: add support for encapsulation communities by @dhalperi in #9363 TransferBDD: Support for static routes by @millstein in #9339 Add more default_128's in juniper for ipv6 prefix parsing by @SLarkworthy in #9365 Junos: don't match apply-groups or apply-path when expanding groups wildcards by @dhalperi in #9368 InferRoles: use re2j for performance by @dhalperi in #9370 Junos: Allow empty regex in wildcard by @SirasornT in #9371 DefinedStructureInfo: canonicalize ranges by @dhalperi in #9372 GroupWildcard: slightly better error message by @dhalperi in #9373 Juniper: remove default vrf for PBR by @dhalperi in #9374 Junos: flesh out policy-statement from <> extraction with todos by @dhalperi in #9375 Junos: implement and test policy-statement from route-type by @dhalperi in #9376 Ip6: parse/stringify ipv4-mapped addresses by @progwriter in #9377 IOS-XR: fix a crash when using dynamic BGP peers by @dhalperi in #9378 Junos: Don't crash on invalid wildcard in apply-path by @SirasornT in #9379 Junos: Support group wildcard with comma by @SirasornT in #9380 ImmutableBDDInteger: remove an unnecessary boxing by @dhalperi in #9383 Junos: Correct incomplete community member labeling by @SirasornT in #9384 Junos: Support incomplete extended and large community by @SirasornT in #9389 Junos communities: add useful toString functions by @dhalperi in #9390 Junos: BGP group keep all/none extraction by @anothermattbrown in #9393 Junos: support from neighbor in import policy by @progwriter in #9394 InterfaceType: remove VPN in favor of TUNNEL by @dhalperi in #9395 Junos: remove incorrect todo by @dhalperi in #9396 Junos: add sead_description and fix grammar by @dhalperi in #9397 Fixing AWS IPSec VPN Connection Modeling by @ankenyr in #9381 JuniperConfiguration: small helper for naming bgp import policies by @progwriter in #9400 Add support for bandwidth extended community by @SirasornT in #9403 Junos: move WillNotCommitException and fake will not commit exceptions onto fatal warnings by @dhalperi in #9409 TransferBDD: MatchPeerAddress by @millstein in #9407 BooleanExprVarCollector: handle missing policies in CallExpr by @progwriter in #9410 Juniper: multiple from next-hops should be ORed, not ANDed by @anothermattbrown in #9412 Add support for Juniper recovery-timeout command by @dhalperi in #9413 Junos: Add MPLS admin-group parsing support by @dhalperi in #9414 Differentiate risky parse warnings from other parse warnings by @SLarkworthy in #9417 Junos: improved MPLS LSP grammar by @dhalperi in #9416 New setup for docs with additional setup for bots, developers, and users by @dhalperi in #9411 .roo: streamline some rules by @dhalperi in #9421 docs: Add IOS-XR vendor-specific parsing documentation by @dhalperi in #9422 IPsec: add multiple DH groups in phase 2, switch back to 1 session for AWS by @dhalperi in #9419 Junos: fix incorrect fatal warning on missing interface by @dhalperi in #9423 Junos: add missing apply for protocols mpls by @dhalperi in #9424 Junos: more unrecognized MPLS syntax and reference tracking by @dhalperi in #9425 .roo: add ModeUpdater and start implementing its recommendations by @dhalperi in #9432 parsing: improve docs on how we name parser rules by @dhalperi in #9433 parsing: improve docs on single-token rules by @dhalperi in #9435 juniper: better snmp filter-interfaces parsing by @dhalperi in #9436 Update Cisco XR acl grammar to support single line access-list entries by @abanghar in #9431 pre-commit: upgrade all libraries by @dhalperi in #9440 AWS network modeling docs by @ratulm in #9441 Validation for symbolic route analysis by @millstein in #9438 TransferBDDValidation: Only validate peer groups by @millstein in #9448 Preprocess: support files as well as directories by @dhalperi in #9452 Junos parsing and conversion for policy-statement from external type 1 and 2 by @SLarkworthy in #9453 FortiOS: add aggregate and redundant interface support by @cprevot93 in #9445 FortiOS: add bandwidth conversion and tests by @dhalperi in #9455 Add risky warning for juniper policy statements with terminal terms that result in unreachable subsequent terms by @SLarkworthy in #9457 Junos: delete unused legacy reference tracking by @dhalperi in #9459 Basic tracking of \"to\" conditions in Junos policy-statement terms by @SLarkworthy in #9460 Convert .roomodes to yaml format by @dhalperi in #9461 Don't warn for an unreachable terminal term if there is exactly one simple terminal term by @SLarkworthy in #9462 Force prettier to treat .roomodes as yaml by @dhalperi in #9463 .roomodes: fix icons by @dhalperi in #9464 .roomodes: fix file restrictions by @dhalperi in #9465 Preliminary parsing of rtf-prefix list and reference tracking. by @SLarkworthy in #9466 .gitignore: add a root folder called working for developer convenience by @dhalperi in #9467 Fixup allowed rtf-prefix-list definitions by @SLarkworthy in #9468 Junos: add parsing support for policy-statement \"from metric2\" by @dhalperi in #9471 Junos: make replace preserve order by @dhalperi in #9472 New Contributors @Chensjian made their first contribution in #9226 @SirasornT made their first contribution in #9340 @ankenyr made their first contribution in #9381 @abanghar made their first contribution in #9431 @cprevot93 made their first contribution in #9445 Full Changelog : v2024.07.10...v2025.07.07",
  "tags": [
    "Batfish",
    "batfish.updates",
    "batfish",
    "network-validation",
    "analysis"
  ]
}