Imandra today launched an artificial intelligence (AI) agent, dubbed CodeLogician, that uses symbolic models to transform source code into mathematical models that can then be validated and tested in a way that is more accurate than relying on a large language model (LLM).
Endor Labs Adds Ability to Identify Open Source AI Models to SCA Tool
Endor Labs today added an ability to detect open-source artificial intelligence (AI) models downloaded from the Hugging Face repository that have been incorporated into source code.
Survey Shines Spotlight on Inability to Keep Application Secrets
A global survey of 1,000 IT leaders from organizations with more than 500 employees published today finds that 79% have experienced or are aware of secrets leaking within their organization.
JFrog Extends GitHub Alliance to Provide Unified Dashboard
JFrog and GitHub today extended their alliance to provide a unified dashboard that makes it simpler to track and prioritize vulnerabilities from source code to the binaries that are ultimately deployed.
Orca Security Adds Ability to Scan Source Code for Vulnerabilities
Orca Security this week extended the reach of its cybersecurity portfolio to include an application that scans source code stored in GitHub and GitLab repositories for vulnerabilities.
The Secret to Secrets Management: Reduce Source Code Vulnerabilities
We are in the cyberattack age. From Microsoft to Crypto.com, no company is completely safe from malicious attackers, and it seems as if a new major cyberattack is announced weekly, […]
IBM Unveils Simulation Tool for Attacking SCM Platforms
At the Black Hat USA 2022 conference, IBM today revealed it is making available a toolkit for launching simulated attacks against source code management (SCM) platforms. The toolkit was launched […]
Buildkite Tightens CI/CD Integration With GitHub
Buildkite has tightened the integration between its namesake continuous integration/continuous delivery platform and the GitHub source code repository. Fred Showell, a senior product manager for Buildkite, said the integration will […]
DevOps Deeper Dive: Git Turns 15
Git, the version control system that arguably has enabled many DevOps advances over the last decade, is turning 15 this month. Git was developed by Linus Torvalds, best known for […]
Universal Code Search Combinations
More potential searches than there are stars in the universe. Source code search is not like searching for text on the web—it is more complex and has many more nuances. […]








