- 模糊测试进阶,无状态模糊测试和不变式测试
艾丽卡和木森的区块链日记
区块链一些区块链
系列文章目录模糊测试入门与assert()函数文章目录系列文章目录前言一、无状态模糊测试与不变模糊测试无状态模糊测试(StatelessFuzzTesting)不变式模糊测试(StatefulFuzzTesting)智能合约测试中的考虑结合使用二、举例不变模糊测试的优点1.代码分析2.使用模糊测试无状态模糊测试(StatelessFuzzTesting)不变式模糊测试(StatefulFuzzTe
- 智能合约漏洞检测论文
weixin_45332030
智能合约
综述TestingEthereumSmartContracts:AComparisonofSymbolicAnalysisandFuzzTestingTools符号执行与模糊测试工具的比较综述DeepLearningBasedVulnerabilityDetection:AreWeThereYet?基于深度学习的漏洞检测研究https://github.com/VulDetProject/ReVe
- assert()在solidity的运用,模糊测试案例
zhuqiyua
区块链一些区块链
文章目录前言一、assert()函数介绍二、solidity使用举例foundry测试的举例被测试的合约:StatelessFuzzCatches测试合约:StatelessFuzzCatchesTest测试过程问题和改进前言介绍了assert()函数,此类函数多用于区块连测试中,结尾距离foundry中的案例一、assert()函数介绍在Solidity中,assert()是一个断言函数,用于测
- Agentic Security:一款针对LLM模型的模糊测试与安全检测工具
FreeBuf-
工具安全
关于AgenticSecurityAgenticSecurity是一款针对LLM模型的模糊测试与安全检测工具,该工具可以帮助广大研究人员针对任意LLM执行全面的安全分析与测试。请注意AgenticSecurity是作为安全扫描工具设计的,而不是万无一失的解决方案。它无法保证完全防御所有可能的威胁。功能介绍1、可定制的规则集;2、基于代理的测试;3、针对任何LLM进行全面模糊测试;4、LLMAPI集
- 论文阅读-EMS: History-Driven Mutation for Coverage-based Fuzzing(2022)模糊测试
Che_Che_
论文阅读人工智能模糊测试
一、背景本文研究了基于覆盖率的模糊测试中的历史驱动变异技术。之前的研究主要采用自适应变异策略或集成约束求解技术来探索触发独特路径和崩溃的测试用例,但它们缺乏对模糊测试历史的细粒度重用,即它们在不同的模糊测试试验之间很大程度上未能正确利用模糊测试历史。本文提出了一种轻量级且高效的概率字节定向模型(PBOM),以捕获来自试验历史的字节级变异策略,并因此有效地触发独特路径和崩溃。本文还提出了一种新的历史
- ContractFuzzer源代码解析
JocelyHigher
golang工具
ContractFuzzer可以说是学术界发表的第一篇智能合约模糊测试论文,其发表在18年软工顶会ASE上。主要编程语言为go和js,所以上手快,较容易理解。Contractfuzzer主要分为三个模块:1、fuzzer,用于产生测试输入,以及接收geth_cf的测试结果,进行处理并展示;2、tester,用于将fuzzer传过来的输入封装为交易,并发送到插桩的geth-cf中;3、geth_cf
- 《 HFContractFuzzer: Fuzzing Hyperledger Fabric Smart Contractsfor Vulnerability Detection》论文翻译
WXF_Security
智能合约安全研究fabricgolang
《HFContractFuzzer:FuzzingHyperledgerFabricSmartContractsforVulnerabilityDetection》(EASE2021)摘要区块链技术以其特有的去中心化、不可变性等优点,近年来被广泛应用于各个领域。运行在区块链上的智能合约在去中心化应用场景中也扮演着越来越重要的角色。因此,自动检测智能合约中的安全漏洞成为区块链技术应用中亟待解决的问题
- ContractFuzzer速览
Reanon
论文阅读安全区块链智能合约
ContractFuzzer速览论文标题:ContractFuzzer:FuzzingSmartContractsforVulnerabilityDetection论文链接:ContractFuzzer:FuzzingSmartContractsforVulnerabilityDetection开源地址:gongbell/ContractFuzzer:TheEthereumSmartContrac
- (ASE2018)ContractFuzzer: Fuzzing Smart Contracts for Vulnerability Detection 解析
DeamLake
论文解析智能合约模糊测试区块链软件测试智能合约
(ASE2018)ContractFuzzer:FuzzingSmartContractsforVulnerabilityDetection解析前言一摘要及主要贡献摘要贡献二智能合约漏洞及其对应的testoracle[^1]2.1GaslessSend2.1.0oracle2.2ExceptionDisorder2.2.0oracle2.3Reentrancy2.3.0oracle2.4Times
- 如何使用CLZero对HTTP1.1的请求走私攻击向量进行模糊测试
FreeBuf_
github模糊测试
关于CLZeroCLZero是一款功能强大的模糊测试工具,该工具可以帮助广大研究人员针对HTTP/1.1CL.0的请求走私攻击向量进行模糊测试。工具结构clzero.py-工具主脚本;default.py-包含了大多数标准攻击测试方法和字符;exhaustive.py-包含了大量不同的攻击测试方法;quick.py-仅包含最常见的10种攻击测试方法;工具安装由于该工具基于Python3开发,因此我
- java 模糊测试jazzer使用教程
强壮的向阳花
linux系统常用工具javapython开发语言
作为Jazzer的模糊测试目标,FuzzerTarget类必须定义以下两个函数之一:publicstaticvoidfuzzerTestOneInput(byte[]...)publicstaticvoidfuzzerTestOneInput(FuzzedDataProvider...)FuzzedDataProvider类是Jazzer提供的用于获取模糊测试数据的工具类。以下是一些常用的方法:c
- DIFFER,一种用于测试和验证转换程序的新工具
网络研究院
网络研究院动态分析测试验证工具
我们最近发布了一个新的差异测试工具,称为DIFFER,用于查找转换后的程序中的错误和健全性违规。DIFFER结合了差分、回归和模糊测试的元素,帮助用户发现被软件重写、反膨胀和强化工具更改的程序中的错误。我们使用DIFFER评估了10个软件反膨胀工具,发现这些工具生成的转换程序中有71%存在反膨胀故障或健全性违规。DIFFER满足了转型后软件验证的关键需求。程序转换工具通常将此任务完全留给用户,除了
- 谷歌提供免费的模糊测试框架
网络研究院
网络研究院谷歌模糊测试框架免费人工智能
模糊测试可以成为找出软件中零日漏洞的宝贵工具。为了鼓励开发人员和研究人员使用它,谷歌周三宣布现在提供对其模糊测试框架OSS-Fuzz的免费访问。据谷歌称,通过使用该框架在大型语言模型(LLM)的帮助下自动化模糊测试的手动方面,可以获得切实的安全改进。谷歌开源安全团队成员在公司博客中写道:“我们利用LLM编写项目特定代码,以提高模糊测试覆盖率并发现更多漏洞。”他们指出,到目前为止,OSS-Fuzz及
- 绕过安全狗优化
Lyx-0607
笔记
8.2节中,我们已经完成模糊测试绕过安全狗脚本,其中仅仅对数字进行了模糊处理,如此已经能够产生许多绕过安全狗的方法,如果需要更多的绕过安全狗方法,可在此脚本的基础上进行修改,完善此脚本。完善的思路是从脚本本身的参数值和ua值进行增加,比如在原有ua的基础上,列举多种ua进行迭代,然后对参数本身可以采用多重套用的方式:deffuzzexp(url):fuzzing_x=['/*','*/','/*!
- Google 推出测试版开源安全工具 OSS-Fuzz
weixin_34132768
java
Google希望进行“模糊测试(fuzztesting,fuzzing)”,为程序提供随机数据输入,作为开源开发的标准部分。为此,它刚刚在GitHub上推出了一个用于OSS-Fuzz的测试计划的项目,其目的在于推动现代模糊技术标准化,并将它们与可以根据需要扩展的分布式执行模型相结合,以确保重要开源项目的安全性。根据维基百科的解释:“模糊测试是一种软件测试技术,通常是自动或半自动的,涉及向计算机程序
- 网络安全-好用的模糊测试器汇总与思考
lady_killer9
网络安全#模糊测试安全模糊测试漏洞挖掘
目录内核&&通用模糊测试器文件格式模糊测试器网络协议模糊测试器浏览器模糊测试器WEB模糊测试器云模糊测试器某语言的模糊测试器JavaC/C++GoDOMJS关于模糊测试器的思考模糊测试器的组成部分用例生成器监控器过滤器核心部分结果统计提高代码覆盖率引导多进程、多线程分布式可视化内核&&通用模糊测试器OSS-Fuzz-7.1kstars,对开源软件进行持续模糊测试,支持多种语言开发的软件,能够构建自
- 阅读笔记——《RapidFuzz: Accelerating fuzzing via Generative Adversarial Networks》
恣睢s
AIFuzz笔记FUZZ
【参考文献】YeA,WangL,ZhaoL,etal.Rapidfuzz:Acceleratingfuzzingviagenerativeadversarialnetworks[J].Neurocomputing,2021,460:195-204.【注】本文仅为作者个人学习笔记,如有冒犯,请联系作者删除。目录摘要一、介绍二、相关工作三、RapidFuzz1、数据预处理2、带有梯度惩罚的Wasser
- 安全测试几种:代码静态扫描、模糊测试、黑盒测试、白盒测试、渗透测试
Kingairy
安全性测试
代码扫描参考:https://www.toutiao.com/article/6697188900344955404/?channel=&source=search_tab安全性测试工具很多,还包括黑客常用的一些工具,如暴力破解口令工具、端口扫描工具、防火墙渗透工具、渗透测试平台等。从某种意义看,它们超出软件范畴,更多属于网络空间安全、密码学等范畴,在此就不展开了。概括起来最受欢迎的软件安全性测试
- 喜讯!无垠智能模糊测试系统入选“2023软件供应链优秀成果”
云起无垠
荣誉成就人工智能网络大数据
近日,中国信通院信息通信软件供应链安全社区正式公布了“2023软件供应链优秀成果”,其中,云起无垠的无垠智能模糊测试系统凭借其自主研发的创新成果,成功入选该名单。图获奖成果自发起以来,软件供应链优秀成果案例征集活动已成功遴选并推广了来自企事业单位、研究机构与高校的众多优秀项目。经过社区评审组专家们公平、公正、严格的评审,最终有23项成果案例脱颖而出,成功入选“2023软件供应链优秀成果”。而自主研
- Syscall Description Generation For Kernel Fuzzing
I still …
Fuzzing系统安全程序分析程序分析漏洞检测系统安全
SyzDescribe:Principled,Automated,StaticGenerationofSyscallDescriptionsforKernelDrivers1.Introduction2.BackgroundandMotivation2.1.LinuxKernelDriversandDescriptions2.2.CurrentAttemptsatGeneratingSyscall
- KernelGPT: LLM for Kernel Fuzzing
I still …
程序分析Fuzzing系统安全程序分析漏洞检测大模型系统安全
KernelGPT:EnhancedKernelFuzzingviaLargeLanguageModels1.Introduction2.Background2.1.KernelandDeviceDrivers2.2.KernelFuzzing2.2.1.Syzkaller规约2.2.2.规约生成3.Approach3.1.DriverDetection3.2.SpecificationGener
- 模糊测试:使用随机输入破坏事物
稚皓君
Fuzzing测试工具网络安全
模糊测试:使用随机输入破坏事物一个简单的模糊器模糊测试外部程序创建输入文件调用外部程序长时间运行的模糊测试模糊测试器的发现缓冲区溢出缺少错误检查我们将从最简单的测试生成技术之一开始,随机文本生成(也称为模糊测试)的关键思想是将一串随机字符输入程序,以达到发现故障。一个简单的模糊器尝试完成此任务并构建一个模糊生成器。这个想法是生成随机字符,将它们添加到缓冲区字符串变量()中,最后返回字符串out。r
- 国产之光Yakit——POC模拟神器
测试开发Kevin
安全测试Devops开发web安全系统安全安全架构
概要介绍Yakit是一个高度集成化的Yak语言安全能力的安全测试平台,使用Yakit,可以做到:类Burpsuite的MITM劫持操作台查看所有劫持到的请求的历史记录以及分析请求的参数全球第一个可视化的Web模糊测试工具:WebFuzzerYakCloudIDE:内置智能提示的Yak语言云IDEShellReceiver:开启TCP服务器接收反弹交互式Shell的反连第三方Yak模块商店:社区主导
- AI 内容分享(八):基于Fuzzing和ChatGPT结合的AI自动化测试实践
之乎者也·
AI(人工智能)内容分享chatgpt人工智能
目录一、前言二、调研过程三、设计与实现四、未来的计划五、碰到的问题与解决方案一、前言有赞目前,结合insight接口自动化平台、horizons用例管理平台、引流回放平台、页面比对工具、数据工厂等,在研发全流程中,已经沉淀了对应的质量保障的实践经验,并在逐渐的进化中。在AI能力大幅进步的背景下,笔者尝试将业务场景给到ChatGPT,进行了文本用例生成的测试,观察到其输出测试用例的逻辑和测试人员编写
- Fuzzing101:Exercise 4 - LibTIFF 翻译+解题
小张frog
Fuzzing101学习
Fuzzing101:Exercise4-LibTIFF翻译+解题题目链接:https://github.com/antonio-morales/Fuzzing101/tree/main/Exercise%204在本次练习中,我们将对LibTIFF图像库进行模糊测试。目标是在LibTIFF4.0.4中找到CVE-2016-9297的崩溃/PoC,并测量崩溃/PoC的代码覆盖率数据。你将学到什么:完
- 使用Python编写一个渗透测试探测工具
再不会python就不礼貌了
python开发语言爬虫学习数据库
本篇将会涉及:资源探测一个有用的字典资源第一个暴力探测器资源探测资源探测在渗透测试中还是属于资源的映射和信息的收集阶段。主要有以下三个类型:字典攻击暴力破解模糊测试字典攻击,在破解密码或密钥的时候,通过自定义的字典文件,有针对性地尝试字典文件内所有的字典组合。暴力破解,也叫做穷举法,按照特定的组合,进行枚举所有的组合。简单来说就是将密码进行逐个推算直到找出真正的密码为止。模糊测试,指通过向目标系统
- 使用Python编写一个渗透测试探测工具
会python的小孩
python开发语言服务器数据库信息可视化
本篇将会涉及:资源探测一个有用的字典资源第一个暴力探测器资源探测资源探测在渗透测试中还是属于资源的映射和信息的收集阶段。主要有以下三个类型:字典攻击暴力破解模糊测试字典攻击,在破解密码或密钥的时候,通过自定义的字典文件,有针对性地尝试字典文件内所有的字典组合。暴力破解,也叫做穷举法,按照特定的组合,进行枚举所有的组合。简单来说就是将密码进行逐个推算直到找出真正的密码为止。模糊测试,指通过向目标系统
- PyTorch中的AOTAutograd、PrimTorch和TorchInductor
NLP工程化
PyTorch实战pytorch人工智能python
一.PyTorch中的AOTAutograd 在PyTorch中,AOTAutograd是一个先进的功能,它是Ahead-Of-Time(AOT)Autograd的缩写。这是一种新的自动微分方法,它在编译时而不是运行时计算梯度。这使得它可以更有效地处理大型计算图。以下是一些关于AOTAutograd的论文:“TorchProbe:FuzzingDynamicDeepLearningCompile
- 信息系统安全——基于 AFL 的模糊测试
Hellespontus
信息系统安全安全信息系统安全kaliafl模糊测试fuzzing系统安全
实验3基于AFL的模糊测试3.1实验名称《基于AFL的模糊测试》3.2实验目1、熟悉模糊测试方法2、熟悉模糊测试工具AFL的使用3.3实验步骤及内容1、安装AFL2、任意选择一个有源代码的样本这里采用教材上一个包含栈溢出漏洞的样本。3、结合源代码分析用AFL进行模糊测试后的结果,将主要步骤和分析结果记录到实验报告中,可截图说明。首先是用afl-gcc编译并插桩。接着是用afl-fuzz进行模糊测试
- 喜讯!云起无垠入选2023年度中国数字安全能力图谱
云起无垠
荣誉成就安全人工智能网络安全
近日,国内权威的数字化领域第三方服务机构数世咨询发布了“2023年度中国数字安全能力图谱(精选版)”,该图谱旨在帮助行业用户深入了解当前数字安全产业现状,并为其数字安全能力建设提供有力参考。云起无垠凭借卓越的技术实力和广泛的市场影响力,在软件供应链安全领域成功入选应用安全测试和持续应用安全(CAS)类别,并以其领导者的身份引领模糊测试技术发展,充分展示了其在该领域的重要地位。图云起无垠上榜数世咨询
- Linux的Initrd机制
被触发
linux
Linux 的 initrd 技术是一个非常普遍使用的机制,linux2.6 内核的 initrd 的文件格式由原来的文件系统镜像文件转变成了 cpio 格式,变化不仅反映在文件格式上, linux 内核对这两种格式的 initrd 的处理有着截然的不同。本文首先介绍了什么是 initrd 技术,然后分别介绍了 Linux2.4 内核和 2.6 内核的 initrd 的处理流程。最后通过对 Lin
- maven本地仓库路径修改
bitcarter
maven
默认maven本地仓库路径:C:\Users\Administrator\.m2
修改maven本地仓库路径方法:
1.打开E:\maven\apache-maven-2.2.1\conf\settings.xml
2.找到
 
- XSD和XML中的命名空间
darrenzhu
xmlxsdschemanamespace命名空间
http://www.360doc.com/content/12/0418/10/9437165_204585479.shtml
http://blog.csdn.net/wanghuan203/article/details/9203621
http://blog.csdn.net/wanghuan203/article/details/9204337
http://www.cn
- Java 求素数运算
周凡杨
java算法素数
网络上对求素数之解数不胜数,我在此总结归纳一下,同时对一些编码,加以改进,效率有成倍热提高。
第一种:
原理: 6N(+-)1法 任何一个自然数,总可以表示成为如下的形式之一: 6N,6N+1,6N+2,6N+3,6N+4,6N+5 (N=0,1,2,…)
- java 单例模式
g21121
java
想必单例模式大家都不会陌生,有如下两种方式来实现单例模式:
class Singleton {
private static Singleton instance=new Singleton();
private Singleton(){}
static Singleton getInstance() {
return instance;
}
- Linux下Mysql源码安装
510888780
mysql
1.假设已经有mysql-5.6.23-linux-glibc2.5-x86_64.tar.gz
(1)创建mysql的安装目录及数据库存放目录
解压缩下载的源码包,目录结构,特殊指定的目录除外:
- 32位和64位操作系统
墙头上一根草
32位和64位操作系统
32位和64位操作系统是指:CPU一次处理数据的能力是32位还是64位。现在市场上的CPU一般都是64位的,但是这些CPU并不是真正意义上的64 位CPU,里面依然保留了大部分32位的技术,只是进行了部分64位的改进。32位和64位的区别还涉及了内存的寻址方面,32位系统的最大寻址空间是2 的32次方= 4294967296(bit)= 4(GB)左右,而64位系统的最大寻址空间的寻址空间则达到了
- 我的spring学习笔记10-轻量级_Spring框架
aijuans
Spring 3
一、问题提问:
→ 请简单介绍一下什么是轻量级?
轻量级(Leightweight)是相对于一些重量级的容器来说的,比如Spring的核心是一个轻量级的容器,Spring的核心包在文件容量上只有不到1M大小,使用Spring核心包所需要的资源也是很少的,您甚至可以在小型设备中使用Spring。
 
- mongodb 环境搭建及简单CURD
antlove
WebInstallcurdNoSQLmongo
一 搭建mongodb环境
1. 在mongo官网下载mongodb
2. 在本地创建目录 "D:\Program Files\mongodb-win32-i386-2.6.4\data\db"
3. 运行mongodb服务 [mongod.exe --dbpath "D:\Program Files\mongodb-win32-i386-2.6.4\data\
- 数据字典和动态视图
百合不是茶
oracle数据字典动态视图系统和对象权限
数据字典(data dictionary)是 Oracle 数据库的一个重要组成部分,这是一组用于记录数据库信息的只读(read-only)表。随着数据库的启动而启动,数据库关闭时数据字典也关闭 数据字典中包含
数据库中所有方案对象(schema object)的定义(包括表,视图,索引,簇,同义词,序列,过程,函数,包,触发器等等)
数据库为一
- 多线程编程一般规则
bijian1013
javathread多线程java多线程
如果两个工两个以上的线程都修改一个对象,那么把执行修改的方法定义为被同步的,如果对象更新影响到只读方法,那么只读方法也要定义成同步的。
不要滥用同步。如果在一个对象内的不同的方法访问的不是同一个数据,就不要将方法设置为synchronized的。
- 将文件或目录拷贝到另一个Linux系统的命令scp
bijian1013
linuxunixscp
一.功能说明 scp就是security copy,用于将文件或者目录从一个Linux系统拷贝到另一个Linux系统下。scp传输数据用的是SSH协议,保证了数据传输的安全,其格式如下: scp 远程用户名@IP地址:文件的绝对路径
- 【持久化框架MyBatis3五】MyBatis3一对多关联查询
bit1129
Mybatis3
以教员和课程为例介绍一对多关联关系,在这里认为一个教员可以叫多门课程,而一门课程只有1个教员教,这种关系在实际中不太常见,通过教员和课程是多对多的关系。
示例数据:
地址表:
CREATE TABLE ADDRESSES
(
ADDR_ID INT(11) NOT NULL AUTO_INCREMENT,
STREET VAR
- cookie状态判断引发的查找问题
bitcarter
formcgi
先说一下我们的业务背景:
1.前台将图片和文本通过form表单提交到后台,图片我们都做了base64的编码,并且前台图片进行了压缩
2.form中action是一个cgi服务
3.后台cgi服务同时供PC,H5,APP
4.后台cgi中调用公共的cookie状态判断方法(公共的,大家都用,几年了没有问题)
问题:(折腾两天。。。。)
1.PC端cgi服务正常调用,cookie判断没
- 通过Nginx,Tomcat访问日志(access log)记录请求耗时
ronin47
一、Nginx通过$upstream_response_time $request_time统计请求和后台服务响应时间
nginx.conf使用配置方式:
log_format main '$remote_addr - $remote_user [$time_local] "$request" ''$status $body_bytes_sent "$http_r
- java-67- n个骰子的点数。 把n个骰子扔在地上,所有骰子朝上一面的点数之和为S。输入n,打印出S的所有可能的值出现的概率。
bylijinnan
java
public class ProbabilityOfDice {
/**
* Q67 n个骰子的点数
* 把n个骰子扔在地上,所有骰子朝上一面的点数之和为S。输入n,打印出S的所有可能的值出现的概率。
* 在以下求解过程中,我们把骰子看作是有序的。
* 例如当n=2时,我们认为(1,2)和(2,1)是两种不同的情况
*/
private stati
- 看别人的博客,觉得心情很好
Cb123456
博客心情
以为写博客,就是总结,就和日记一样吧,同时也在督促自己。今天看了好长时间博客:
职业规划:
http://www.iteye.com/blogs/subjects/zhiyeguihua
android学习:
1.http://byandby.i
- [JWFD开源工作流]尝试用原生代码引擎实现循环反馈拓扑分析
comsci
工作流
我们已经不满足于仅仅跳跃一次,通过对引擎的升级,今天我测试了一下循环反馈模式,大概跑了200圈,引擎报一个溢出错误
在一个流程图的结束节点中嵌入一段方程,每次引擎运行到这个节点的时候,通过实时编译器GM模块,计算这个方程,计算结果与预设值进行比较,符合条件则跳跃到开始节点,继续新一轮拓扑分析,直到遇到
- JS常用的事件及方法
cwqcwqmax9
js
事件 描述
onactivate 当对象设置为活动元素时触发。
onafterupdate 当成功更新数据源对象中的关联对象后在数据绑定对象上触发。
onbeforeactivate 对象要被设置为当前元素前立即触发。
onbeforecut 当选中区从文档中删除之前在源对象触发。
onbeforedeactivate 在 activeElement 从当前对象变为父文档其它对象之前立即
- 正则表达式验证日期格式
dashuaifu
正则表达式IT其它java其它
正则表达式验证日期格式
function isDate(d){
var v = d.match(/^(\d{4})-(\d{1,2})-(\d{1,2})$/i);
if(!v) {
this.focus();
return false;
}
}
<input value="2000-8-8" onblu
- Yii CModel.rules() 方法 、validate预定义完整列表、以及说说验证
dcj3sjt126com
yii
public array rules () {return} array 要调用 validate() 时应用的有效性规则。 返回属性的有效性规则。声明验证规则,应重写此方法。 每个规则是数组具有以下结构:array('attribute list', 'validator name', 'on'=>'scenario name', ...validation
- UITextAttributeTextColor = deprecated in iOS 7.0
dcj3sjt126com
ios
In this lesson we used the key "UITextAttributeTextColor" to change the color of the UINavigationBar appearance to white. This prompts a warning "first deprecated in iOS 7.0."
Ins
- 判断一个数是质数的几种方法
EmmaZhao
Mathpython
质数也叫素数,是只能被1和它本身整除的正整数,最小的质数是2,目前发现的最大的质数是p=2^57885161-1【注1】。
判断一个数是质数的最简单的方法如下:
def isPrime1(n):
for i in range(2, n):
if n % i == 0:
return False
return True
但是在上面的方法中有一些冗余的计算,所以
- SpringSecurity工作原理小解读
坏我一锅粥
SpringSecurity
SecurityContextPersistenceFilter
ConcurrentSessionFilter
WebAsyncManagerIntegrationFilter
HeaderWriterFilter
CsrfFilter
LogoutFilter
Use
- JS实现自适应宽度的Tag切换
ini
JavaScripthtmlWebcsshtml5
效果体验:http://hovertree.com/texiao/js/3.htm
该效果使用纯JavaScript代码,实现TAB页切换效果,TAB标签根据内容自适应宽度,点击TAB标签切换内容页。
HTML文件代码:
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"
- Hbase Rest API : 数据查询
kane_xie
RESThbase
hbase(hadoop)是用java编写的,有些语言(例如python)能够对它提供良好的支持,但也有很多语言使用起来并不是那么方便,比如c#只能通过thrift访问。Rest就能很好的解决这个问题。Hbase的org.apache.hadoop.hbase.rest包提供了rest接口,它内嵌了jetty作为servlet容器。
启动命令:./bin/hbase rest s
- JQuery实现鼠标拖动元素移动位置(源码+注释)
明子健
jqueryjs源码拖动鼠标
欢迎讨论指正!
print.html代码:
<!DOCTYPE html>
<html>
<head>
<meta http-equiv=Content-Type content="text/html;charset=utf-8">
<title>发票打印</title>
&l
- Postgresql 连表更新字段语法 update
qifeifei
PostgreSQL
下面这段sql本来目的是想更新条件下的数据,可是这段sql却更新了整个表的数据。sql如下:
UPDATE tops_visa.visa_order
SET op_audit_abort_pass_date = now()
FROM
tops_visa.visa_order as t1
INNER JOIN tops_visa.visa_visitor as t2
ON t1.
- 将redis,memcache结合使用的方案?
tcrct
rediscache
公司架构上使用了阿里云的服务,由于阿里的kvstore收费相当高,打算自建,自建后就需要自己维护,所以就有了一个想法,针对kvstore(redis)及ocs(memcache)的特点,想自己开发一个cache层,将需要用到list,set,map等redis方法的继续使用redis来完成,将整条记录放在memcache下,即findbyid,save等时就memcache,其它就对应使用redi
- 开发中遇到的诡异的bug
wudixiaotie
bug
今天我们服务器组遇到个问题:
我们的服务是从Kafka里面取出数据,然后把offset存储到ssdb中,每个topic和partition都对应ssdb中不同的key,服务启动之后,每次kafka数据更新我们这边收到消息,然后存储之后就发现ssdb的值偶尔是-2,这就奇怪了,最开始我们是在代码中打印存储的日志,发现没什么问题,后来去查看ssdb的日志,才发现里面每次set的时候都会对同一个key