repo.or.cz
/
smatch.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
extra/db: silence an invalid SQL warning
2018-11-30
Dan Carpenter
ex
t
ra/
d
b: silen
c
e
an inva
l
id SQL warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-29
Dan Carpenter
buf_size: fix
handling of
1 el
e
ment arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-29
Dan
C
a
rpenter
db: sql d
e
b
ug mode w
a
s execu
t
i
ng t
h
e
S
Q
L tw
i
ce
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
test_b
i
t: add test
_
and_set_b
i
t()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
debug: introduce
_
_
sm
a
tc
h
_mem(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Da
n
C
arpenter
db: don't save struct m
e
mbers for in
t
ege
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
implied: remove an unnece
s
s
ary NULL check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
nul_te
r
m
inato
r
: export the is_nul_
t
ermin
a
t
e
d() func
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpe
n
ter
kpatch: use git instead of trying
t
o create d
i
ffs by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
str
u
ct_assignment:
handl
e
unions as well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpente
r
m
i
ssin
g
_
b
reak: turn
it off by default
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan
C
arpenter
f
ree_s
t
rict: fix some
false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
Re
v
ert "Look acr
o
s
s
the entire c
o
mpile line
f
o
r
smatch
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-14
Dan
Carpenter
trinity: Proof
o
f c
o
nce
p
t to auto-generate trinit
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-01
Dan
Carpe
n
ter
u
s
e
r
_d
a
t
a
: ren
a
me to smatch
_
kern
e
l
_
user_data
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-01
Da
n
Carpenter
a
s
sig
n
ed_expr: rename
t
o smatc
h
_ass
i
g
ned_expr
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
Dan
C
arpenter
smatch: mak
e
the
-
-enable/disab
l
e op
t
i
ons
t
ake strings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
Dan Ca
r
penter
smatch_nul_
t
ermin
a
ted: fix c
o
mpile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
Dan Car
p
enter
untracked
_
param: fix
a NULL derefere
n
ce
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-30
Dan C
a
r
p
ente
r
uniniti
a
li
z
e
d
:
fix
a
c
r
ashing bug pa
r
sing
"return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-23
Dan Carpenter
nul_terminator
:
track whe
n
strings
h
ave a N
U
L terminat
o
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
u
s
e
r_da
t
a2: fix a type i
s
sue
i
n c
a
ll
e
r_i
n
fo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan C
a
rpent
e
r
u
s
er_data: integers can'
t
be derefe
r
enced
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpen
t
e
r
comparison: make a b
u
f
f
er
l
arg
e
r to make GCC happy
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpe
n
ter
da
t
a_source: track assignments be
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpent
e
r
extra: preve
n
t a divide by
z
e
r
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
D
a
n
Carpenter
modification_hooks
:
use the
DB f
o
r
f
r
ob(&foo)
;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Ca
r
penter
s
v
al: introd
u
ce s
v
al_
b
inop_overfl
o
ws_no_sign
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-28
Dan Carpent
e
r
extra: undo bogus un
o
p ch
a
nges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-27
D
a
n Carpenter
array_values: fix up
and support two
d
i
m
ensional local
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-27
Dan Carpenter
param_
s
et: don'
t
r
ecord a
para
m
_se
t
for p++ changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-27
Dan Carpente
r
function
_
hook
s
: r
e
-ha
c
k a
r
ound movi
n
g t
h
e
fake pa
r
am
e
t
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-26
D
an Carpenter
arr
a
y_
v
alue
s
: store array values
of s
t
ruct member arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-26
Dan Carpenter
function_ho
o
k
s
:
h
a
ck ar
o
un
d
fallout
f
r
om moving
the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-24
Dan Carpenter
comparis
o
n: don't
r
e
t
urn inva
l
id params
in g
e
t_mas
k
_comparison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Ca
r
pent
e
r
db: don't print "failed to open" warnings
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Ca
r
penter
param_set: re
m
ove some dead co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpent
e
r
m
t
a
g: temporarily disable generati
n
g mtag for kmalloc()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n
Carpen
t
e
r
expressions: don't crash on in
v
ali
d
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
extra: fix a type bu
g
in inserting info into caller_info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
kernel: don't insist tha
t
the parameter is named "error"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
extra:
e
xport is_impo
s
sible_variable()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Ca
r
penter
f
low: fix a crashin
g
bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
function_hooks: do the
f
ake parameter as
s
ignm
e
nt after
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan
Carpenter
para
m
_limit: f
i
x
g
enerify_mtag_
r
ange()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
extra: clear
_
pointed_at_s
t
ate() is
a
n
o
m
o
d
state
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
an C
a
rpen
t
er
param_se
t
: handle
when the stack
var
i
a
b
le was modified
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpent
e
r
pa
r
se_call_math: d
o
n't say the return is equ
a
l
to a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Ca
r
penter
scope
:
fix is_oute
r
_stmt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpe
n
ter
sval: handle casting to b
o
ol
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n
Carpenter
array_va
l
ues:
don't crash on invalid c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
n
o
_spe
c
: record when funct
i
on
s
have
a barrier
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-14
Dan Carpenter
ex
t
r
a
/type: fi
x
t
y
p
e of re
t
urn PAR
A
M_ADD/SET
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-14
Dan Carpenter
param_l
i
mit:
m
ake mtag li
m
it
s
mor
e
gener
i
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-12
Dan
Carpenter
param_set:
d
o
n
't s
a
ve if the
p
arent is set
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan
C
arpenter
atomic_
i
nc_dec: a
d
d a
coupl
e
more function
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Ca
r
pente
r
s
i
gned_integer_o
v
erflow: ignore this for the
k
ernel
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
m
ath: handl
e
conditi
o
nals
l
i
ke: "a = b?: c
;
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
D
an
C
a
r
p
enter
n
o
s
p
ec
:
d
on
'
t fil
l
the DB up with
g
a
rbage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Da
n
Carpenter
si
z
eof: fix NULL dereferen
c
e parsi
n
g invalid
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpen
t
er
str
i
ngs: truncating large str
i
ngs c
a
uses SQL problems
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Da
n
C
a
rpenter
t
y
pe_val: don't doub
l
e record globals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carp
e
n
t
er
target: m
a
n
s
size_t be unsigned long in
s
tead
of unsigned
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
D
a
n Car
p
e
n
ter
ex
t
ra: d
o
n
'
t r
e
s
e
t
impossible states after a
con
d
i
t
i
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-10
Dan Carpenter
a
r
r
a
y: store p
o
s
sible ar
r
ay values for simple arr
a
y
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
D
a
n Carpenter
mtag: HACK
:
return fal
s
e if the mtag is zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carpe
n
ter
flow: fak
e
an
assign statement
for global initialize
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carpe
n
ter
flow
:
tweak h
o
w function timeouts happen
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan Ca
r
penter
db: fi
x
a t
y
pe bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Da
n
Carp
e
nter
s
ma
t
ch_flow
:
don't parse inline functions
a
fter we
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-31
Dan Carpenter
mtag: add str
i
ng information
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-31
D
an Carpenter
flow
:
ha
n
d
l
e
__buil
t
in_mul_over
f
low()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-29
Dan Carpente
r
kerne
l
_printf: silence "sp
e
cifie
r
is cast fr
o
m pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-28
Dan Carpenter
n
o
spec
:
t
urn off speculation at
r
mb(), smb_rmb() and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-28
Da
n
C
arp
e
nter
check_s
i
gned: ignore fake assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-25
Dan C
a
rpenter
mtag_data: cl
e
ar
c
ache
at start of function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-25
Dan Car
p
enter
n
o
spec:
f
i
x uninit
i
al
i
zed poi
n
ter crash
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpenter
helpe
r
: fake
calls are
not equivalent to anything
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
D
a
n
Carp
e
nte
r
comparison
:
hand
l
e comparisons
:
if (
(
f
o
o
= frob(
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
D
a
n Carpen
t
er
co
m
p
ari
s
on: imp
r
ove "
f
oo = min(
.
.
.
);"
a
s
signment h
a
ndling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Da
n
Carpenter
compar
i
son
:
hack ar
o
und some
type b
u
g
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpent
e
r
mtag_data: remove
du
p
lica
t
e
m
t
a
g_data and rando
m
small
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpente
r
container_of: fix a bug in get_shared_cnt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
D
a
n C
a
rpenter
check
_
ch
e
ck_deref:
s
ilence some fa
l
s
e
posi
t
i
ves
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-18
D
an Carpenter
n
o
spec:
s
tore functions that return nosp
e
c inde
x
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-15
Dan Carpenter
nospec
:
handle CALL
_
N
O
SPEC
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-14
Dan Carpenter
db: introduce the --
d
b
-file=/path/to/sm
a
tch_d
b
.
sqlit
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-13
Dan Carpenter
user_data2: use f
u
n
c
tion returns in points_t
o
_u
s
er_dat
a
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-13
Dan
Carpenter
files: check for sc
h
ema files relat
i
ve to t
h
e bin_dir
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-13
Dan Carpenter
smatch
.
c: expo
r
t b
i
n_dir to e
v
eryo
n
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-10
Dan Carpe
n
ter
c
o
re: print t
h
e full path when
-
-i
n
fo is used
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-08
Dan Carp
e
nter
use
r
_dat
a
: impr
o
ve
h
ow returned dat
a
is han
d
led
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-08
D
an Carpenter
capped: set returned str
u
ct members to capped
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-06
Dan
Carpente
r
user_data: fix val
i
dation test for r
e
t
u
rned struct
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
D
a
n
Carpenter
impli
e
d
:
do
n
't print so many "turning off
implications
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpente
r
m
t
ag: delet
e
some
bogus code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan
Carpen
t
er
mtag_
d
a
ta: update mtag_
d
ata to use get_mtag_
a
ddr_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Da
n
Carpente
r
mtag
:
f
i
x expr
_
to_mtag_offset(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Car
p
e
n
ter
mtag: introduce get_mtag_addr_sval
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan
Carpent
e
r
param_to
_
mtag_data:
r
e
name "data_name"
--> "name"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next